Software Engineer - Formal Methods
![]() | |
![]() | |
![]() United States, Virginia, Arlington | |
![]() | |
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:
Preferred Qualifications:
LInC At Leidos, we don't want someone who "fits the mold"-we want someone who melts it down and builds something better. This is a role for the restless, the over-caffeinated, the ones who ask, "what's next?" before the dust settles on "what's now." If you're already scheming step 20 while everyone else is still debating step 2... good. You'll fit right in. Original Posting:October 20, 2025For 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. Pay Range:Pay Range $85,150.00 - $153,925.00 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. |