Software Engineer - Formal Methods

Description

Leidos Innovations Center is looking for a Software Engineer in formal methods and cyber-physical systems who has experience with integrating and delivering of state-of-the-art automated reasoning technologies that enable production of high-assurance software and software-intensive systems. This role will contribute to R&D projects in formal methods, proof engineering, theorem proving, formalized mathematics, gaining hands-on experience developing and applying novel capabilities to address emerging, state-of-the-art technical challenges for software, embedded systems, and cyber-physical systems.

Please note: Preference will be given to those who are local and able to be on-site in San Diego, CA or Arlington, VA a few days a week for meetings.

Primary Responsibilities:

The Formal Methods Software Engineer will serve in the role of an individual contributor on contract R&D programs working at the direction of a principal investigator or task lead, supporting the development, adaptation, and extension of innovative approaches and solutions in automated reasoning applied research as well as supporting the engagement of customers to develop new business opportunities. Tasks involved in this role include the development of software and test cases as well as the adaptation and extension of formal methods tools such as theorem provers, solvers, model checkers as the means for producing assurance evidence. The innovative technical solutions will advance the state of the art while addressing long-term problems of importance to national security. As such, strong candidates will have demonstrated the ability to make strong contributions as part of 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:

• BS in Computer Science or closely related area and 4+ years of prior relevant experience or Masters with 2+ years of prior relevant experience
• Industrial/academic experience making significant contributions to formal verification, developing technologies such as program analysis, constraint-solving, symbolic execution, or theorem proving.
• At least 2 years of experience with programming languages such as Java, Scala, C/C++, Ruby, Rust, or Python
• At least 3 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/orconducting 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.
• Must be a U.S. Citizen and have the ability to obtain and maintain a Secret security clearance.

Preferred Qualifications:

• Ph.D. or M.S. in Electrical Engineering, Computer Science, Mathematics, or in areas related to low-level systems, software correctness
• Experience applying the application of formal methods in fundamental research contexts, to problems in complex domains, under conditions of uncertainty, and dynamic and evolving technical challenges
• Demonstrable experience extending formal methods tools for new challenges
• Experience being part of the proposal and project execution processes for competitive, externally-funded projects, ideally with customerslike DARPA
• 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
• Local to Arlington, VA or San Diego, CA

LInC

We're not looking for perfectly polished resumes or perfect fits. We're looking for people who break limits, ask hard questions, and don't wait to be told what's next. At Leidos, we're not following the roadmap - we're redrawing it.

For U.S. Positions: 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.

The Leidos pay range for this job level is a general guideline onlyand 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.

About Leidos

Leidos is an industry and technology leader serving government and commercial customers with smarter, more efficient digital and mission innovations. Headquartered in Reston, Virginia, with 47,000 global employees, Leidos reported annual revenues of approximately $16.7 billion for the fiscal year ended January 3, 2025. For more information, visit www.Leidos.com.

Pay and Benefits

Pay and benefits are fundamental to any career decision. That's why we craft compensation packages that reflect the importance of the work we do for our customers. Employment benefits include competitive compensation, Health and Wellness programs, Income Protection, Paid Leave and Retirement. More details are available at www.leidos.com/careers/pay-benefits.

Securing Your Data

Beware of fake employment opportunities using Leidos' name. Leidos will never ask you to provide payment-related information during any part of the employment application process (i.e., ask you for money), nor will Leidos ever advance money as part of the hiring process (i.e., send you a check or money order before doing any work). Further, Leidos will only communicate with you through emails that are generated by the Leidos.com automated system - never from free commercial services (e.g., Gmail, Yahoo, Hotmail) or via WhatsApp, Telegram, etc. If you received an email purporting to be from Leidos that asks for payment-related information or any other personal information (e.g., about you or your previous employer), and you are concerned about its legitimacy, please make us aware immediately by emailing us at LeidosCareersFraud@leidos.com.

If you believe you are the victim of a scam, contact your local law enforcement and report the incident to the U.S. Federal Trade Commission.

Commitment to Non-Descrimination

All qualified applicants will receive consideration for employment without regard to sex, race, ethnicity, age, national origin, citizenship, religion, physical or mental disability, medical condition, genetic information, pregnancy, family structure, marital status, ancestry, domestic partner status, sexual orientation, gender identity or expression, veteran or military status, or any other basis prohibited by law. Leidos will also consider for employment qualified applicants with criminal histories consistent with relevant laws.