Software Engineer - Formal Methods
Company: Leidos
Location: National City
Posted on: October 28, 2025
|
|
|
Job Description:
Job Description 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/or 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. 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 customers like 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 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, 2025 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. Pay Range: Pay
Range $85,150.00 - $153,925.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.
Keywords: Leidos, National City , Software Engineer - Formal Methods, IT / Software / Systems , National City, California
