Jobs
>
Arlington

    Principal Research Scientist - State Farm, United States - Leidos

    Leidos
    Leidos State Farm, United States

    1 day ago

    Leidos background
    Engineering / Architecture
    Description

    Description

    Leidos Innovations Center is looking for a principal research scientist in the areas of formal methods and cyber-physical systems (CPS) who has a proven track record in developing state-of-the-art automated reasoning technologies that enable production of high-assurance software and software-intensive systems.

    Primary Responsibilities

    The principal research scientist will serve in the role of principal investigator on contract R&D and internal R&D programs, engaging R&D customers and transition partners to develop new business opportunities and leading teams of researchers and engineers in the development, adaptation, and extension of innovative approaches and solutions in automated reasoning applied research. The focus of this research is the generation of assurance evidence for critical software, at scale.

    The innovative technical solutions will advance the state of the art while addressing long-term problems of importance to national security. As such, candidates should have successful, proven, and demonstrable experience leading proposals and winning competitive research and development efforts, and then leading high-performing teams in the development and integration of software-based solutions for customers such as DARPA and other branches of the Department of Defense

    Basic Qualifications

    • M.S or Ph.D. (preferred) degree in Electrical Engineering, Computer Science, Mathematics, or related technical field.
    • At least 10 years with M.S or 8 years with Ph.D. of industrial/academic experience advancing the state of the art in formal verification, developing technologies such as program analysis, constraint-solving, symbolic execution, or theorem proving.
    • Proven track record in proposing, winning, and executing work with customers such as DARPA/IARPA.
    • At least 4 years of experience with programming languages such as Java, Scala, C/C++, Ruby, Rust, or Python
    • At least 5 years of hands-on experience:
      • applying formal methods, using technologies such as theorem provers for first-order logic and higher-order logic, proof assistants, solvers, or other automated reasoning tools and
      • conducting applied research areas of CPS such as autonomous vehicles, smart sensors, or Internet of Things, fusing data collected from cyber and physical systems to develop novel approaches to address emerging technical challenges in domains relevant to U.S. national security.
    • Strong and proven customer relationship skills including the ability to discover the true technical challenges and requirements associated with opportunities, recommending alternative technical approaches, and shaping future opportunities.
    • Qualified candidates must be a U.S Citizen and be able to obtain a DoD Secret clearance with potential eligibility for Top Secret (no clearance needed to start).

    Preferred Qualifications

    • Ph.D. in Electrical Engineering, Computer Science, Mathematics, or in areas related to low-level systems, software correctness
    • Track record of extending formal methods tools for new challenges
    • Experience applying and leading the application of formal methods in fundamental research contexts, to problems in complex domains, under conditions of uncertainty, and dynamic and evolving technical challenges
    • Ability to work in a fast-paced environment
    • Excellent written and oral skills in communicating technical information with an ability to present complex technical information clearly and coherently
    • Proven experience forming strong teams composed of members from academia and industry for competitive research and development opportunities.

    LInC

    Original Posting Date:

    While subject to change based on business needs, Leidos reasonably anticipates that this job requisition will remain open for at least 3 days with an anticipated close date of no earlier than 3 days after the original posting date as listed above.

    Pay Range:

    Pay Range $122, $220,900.00

    The Leidos pay range for this job level is a general guideline only and not a guarantee of compensation or salary. Additional factors considered in extending an offer include (but are not limited to) responsibilities of the job, education, experience, knowledge, skills, and abilities, as well as internal equity, alignment with market data, applicable bargaining agreement (if any), or other law.

  • Howard University

    Research Scientist

    1 week ago

    Howard University Washington, United States

    BASIC FUNCTION: · Seeks applicants for a Research Scientist to conduct research in the field of Physics, with a particular emphasis on simulation-based inference. This will entail utilizing advanced computational techniques to analyze complex phenomena and make statistical infere ...

  • George Washington University

    Research Scientist

    2 days ago

    George Washington University Foggy Bottom, United States

    **Posting Details**: · - I. DEPARTMENT INFORMATION**Job Description Summary**: · **GW's Milken Institute School of Public Health** is known for conducting cutting-edge research, contributing to policy making, faculty and curricula grounded in real-world experience and proximity t ...

  • George Washington University

    Research Scientist

    2 days ago

    George Washington University Foggy Bottom, United States

    **Posting Details**: · - I. DEPARTMENT INFORMATION**Job Description Summary**: · - The Biochemistry and Molecular Medicine department strives to deliver the highest quality of professional education and training, and conduct cutting edge research in the areas of biochemistry, mol ...

  • Howard University

    Research Scientist

    3 weeks ago

    Howard University Washington, United States

    BASIC FUNCTION: · The incumbent will carry out research projects involving the cellular and molecular mechanisms of ischemic and acute brain injury. · SUPERVISORY ACCOUNTABILITY: · They will serve as an active participant in experimental procedures in the laboratory under the dir ...

  • Systems Planning and Analysis, Inc.

    Research Scientist

    1 week ago

    Systems Planning and Analysis, Inc. Washington, United States

    Overview: · Systems Planning and Analysis, Inc. (SPA) delivers high-impact, technical solutions to complex national security issues. With over 50 years of business expertise and consistent growth, we are known for continuous innovation for our government customers, in both the US ...

  • Booz Allen

    Research Data Scientist

    3 weeks ago

    Booz Allen Washington, United States

    Research Data Scientist · **The Opportunity**: · Are you excited at the prospect of unlocking the secrets held by a data set? Are you fascinated by the possibilities presented by the IoT, machine learning and artificial intelligence advances? In an increasingly connected world, m ...

  • Howard University

    Assistant Research Scientist

    2 weeks ago

    Howard University Washington, United States

    Internal contacts are with faculty, staff, and students. External contacts are with representatives of the NOAA weather research laboratories. · PRINCIPAL ACCOUNTABILITIES: · - Rebuild and maintain the Raman lidar system located at the Howard University Beltsville Campus. · - Col ...

  • Lockheed Martin

    Associate Cyber Applied Research Scientist

    3 weeks ago

    Lockheed Martin Arlington, United States

    **Job ID**: 666106BR · **Date posted**: May. 07, 2024 · **Program**: ACL · **Description**:"Exciting Cyber Opportunities Await You" · Are you ready to dive into the thrilling world of cybersecurity? For nearly two decades, the Advanced Concepts Laboratory (ACL) has been at the fo ...

  • Axle

    Research Scientist

    3 weeks ago

    Axle Rockville, United States

    (ID: · **Axle** is seeking a **_Research Scientist _**to join our vibrant team at the National Institutes of Health (NIH) supporting the **National Center for Advancing Translational Sciences (NCATS) located in Rockville, MD.** · **Benefits We Offer**: · - 100% Medical, Dental & ...

  • CNA Corporation

    Research Scientist

    5 days ago

    CNA Corporation Arlington, United States

    PRIMARY PURPOSE · The Operational Warfighting division is seeking a Research Scientist. This role will sit on the Organizations, Roles and Missions team and will provide specific technical/scientific expertise to projects. Our ideal candidate will be experienced in data-driven an ...

  • Center for Naval Analyses

    Research Scientist

    5 days ago

    Center for Naval Analyses Arlington, United States

    PRIMARY PURPOSE · The Operational Warfighting division is seeking a Research Scientist. This role will sit on the Organizations, Roles and Missions team and will provide specific technical/scientific expertise to projects. Our ideal candidate will be experienced in data-driven an ...

  • Odyssey Systems Consulting Group, Ltd.

    Behavioral Research Scientist

    1 week ago

    Odyssey Systems Consulting Group, Ltd. Silver Spring, United States

    Position Summary: · **Contingent upon contract award** · Odyssey is looking for a **Behavioral Research Scientist** to support the Center for Military Psychiatry and Neuroscience (CMPN) at the Walter Reed Army Institute of Research. CMPN is a translational and expeditionary effor ...

  • Workday

    Research Scientist

    3 weeks ago

    Workday Arlington, United States Full time

    The Leidos Innovation Center (LInC) Advanced Analytics team is seeking qualified applicants for multiple Research Scientist openings. We are looking Research Scientists with a background in quantum technologies / quantum information science, specifically with focuses on quantum o ...

  • Howard University

    Research Scientist

    1 week ago

    Howard University Washington, United States

    The Talent Acquisition department hires qualified candidates to fill positions which contribute to the overall strategic success of Howard University. Hiring staff "for fit" makes significant contributions to Howard University's overall mission. · BASIC FUNCTION: · The position i ...

  • Georgetown Univerisity

    Research Scientist

    1 week ago

    Georgetown Univerisity Washington, United States Part time

    Located in a historic neighborhood in the nation's capital, Georgetown offers rigorous academic programs, a global perspective, exciting ways to take advantage of Washington, D.C., and a commitment to social justice. Our community is a tight knit group of remarkable individuals i ...

  • Georgetown University

    Research Scientist

    1 week ago

    Georgetown University Washington, United States Part time

    Located in a historic neighborhood in the nation's capital, Georgetown offers rigorous academic programs, a global perspective, exciting ways to take advantage of Washington, D.C., and a commitment to social justice. Our community is a tight knit group of remarkable individuals i ...

  • Morning Consult

    Research Scientist

    1 week ago

    Morning Consult Washington, United States

    About Morning Consult: · Morning Consult is a global decision intelligence company changing how modern leaders make smarter, faster, better decisions. The company pairs its proprietary high-frequency data with rigorous analysis to better inform decisions on what people think and ...

  • George Washington University

    Research Scientist

    2 weeks ago

    George Washington University Washington DC, United States

    Founded in 1824, the GW School of Medicine and Health Sciences (SMHS) is the 11th oldest medical school in the country and the first in the nation's capital. Since its establishment, the school has been at the forefront of medical education, and has grown to include highly-ranked ...

  • George Washington University

    Research Scientist

    2 weeks ago

    George Washington University Washington DC, United States

    I. DEPARTMENT INFORMATION · Job Description Summary: · Founded in 1824, the GW School of Medicine and Health Sciences (SMHS) is the 11th oldest medical school in the country and the first in the nation's capital. Since its establishment, the school has been at the forefront of m ...

  • George Washington University

    Research Scientist

    2 weeks ago

    George Washington University Washington DC, United States

    I. DEPARTMENT INFORMATION · Job Description Summary: · The Biochemistry and Molecular Medicine department strives to deliver the highest quality of professional education and training, and conduct cutting edge research in the areas of biochemistry, molecular genetics, genomics, ...