Urgent! Formal Methods Engineer Job Opening In Remote – Now Hiring Leidos
**Description**
Are you interested in playing in the gray space of Research and Development and the delivery of secure and scalable production-quality reusable software?
If so, we are seeking a highly skilled and experienced Principal Software Engineer with a strong background in production software delivery and formal methods, including formal modeling, verification, specification, and analysis.
The ideal candidate will play a critical role in improving the quality, cybersecurity, and resiliency of software delivered into critical mission systems across the Leidos portfolio.
**Key Responsibilities:**
+ Drive the transition and adoption of cutting-edge software verification technologies into large scale industrial use.
+ Identify opportunities where formal verification can better meet customer needs and develop practical verification approaches.
+ Lead the design, development, and deployment of secure and resilient software systems in a reusable and scalable way for the Leidos enterprise.
+ Apply formal methods to specify, verify, and analyze software to ensure correctness and security.
+ Collaborate with cross-functional teams to opportunistically integrate formal verification techniques into the software development lifecycle.
+ Partner with Cyber experts to conduct threat modeling, security assessments, and vulnerability analysis to identify and mitigate risks, and to prove formally the security of delivered software.
+ Develop and maintain documentation for reusable software capabilities including specifications, verification plans, security protocols, and usage and basic training prerequisites.
+ Mentor and provide technical guidance to junior engineers on formal methods and cybersecurity best practices.
+ Stay current with industry trends, emerging technologies, and best practices in formal methods and cybersecurity.
+ Conduct analysis of alternatives and SWOT-style evaluations of emerging and new technologies to quickly identify potential value.
+ Collaborate to help identify, down-select, and vet potential external technologies partners by performing quick-turn proofs of concept and capability integrations.
**Qualifications:**
+ Master's degree in Computer Science, Software Engineering, or a related field and 15+ years relevant experience.
Bachelor's degree and additional years experience may be used in lieu of a degree.
+ Minimum of 8 years of experience in production software delivery.
+ Proven expertise in formal methods, including formal verification, specification, and analysis.
+ Strong understanding of cybersecurity principles, threat modeling, and vulnerability assessment.
+ Proficiency in programming languages such as C, C++, Java, or Python.
+ Experience with formal verification tools and techniques (e.g., model checking, theorem proving).
+ Excellent problem-solving skills and attention to detail.
+ Strong communication and collaboration skills.
+ Ability to obtain a Secret security clearance
+ US Citizenship is required for this position.
**Preferred Qualifications:**
+ Experience with formal methods tools such as Lean and Isabelle/HO SPIN, TLA+, Rocq, or Z3.
+ Additional memory-safe software language experience a plus (Rust, Go, etc.)
+ Knowledge of secure coding practices and standards.
+ Familiarity with software development methodologies such as Agile or DevOps.
+ Certifications in cybersecurity (e.g., CISSP, CEH) are a plus.
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:**
July 30, 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 $148,850.00 - $269,075.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.
#Remote
REQNUMBER: R-00163600
All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, sexual orientation, gender identity, national origin, disability or veteran status.
Leidos will consider qualified applicants with criminal histories for employment in accordance with relevant Laws.
Leidos is an equal opportunity employer/disability/vet.
✨ Smart • Intelligent • Private • Secure
Practice for Any Interview Q&A (AI Enabled)
Predict interview Q&A (AI Supported)
Mock interview trainer (AI Supported)
Ace behavioral interviews (AI Powered)
Record interview questions (Confidential)
Master your interviews
Track your answers (Confidential)
Schedule your applications (Confidential)
Create perfect cover letters (AI Supported)
Analyze your resume (NLP Supported)
ATS compatibility check (AI Supported)
Optimize your applications (AI Supported)
O*NET Supported
O*NET Supported
O*NET Supported
O*NET Supported
O*NET Supported
European Union Recommended
Institution Recommended
Institution Recommended
Researcher Recommended
IT Savvy Recommended
Trades Recommended
O*NET Supported
Artist Recommended
Researchers Recommended
Create your account
Access your account
Create your professional profile
Preview your profile
Your saved opportunities
Reviews you've given
Companies you follow
Discover employers
O*NET Supported
Common questions answered
Help for job seekers
How matching works
Customized job suggestions
Fast application process
Manage alert settings
Understanding alerts
How we match resumes
Professional branding guide
Increase your visibility
Get verified status
Learn about our AI
How ATS ranks you
AI-powered matching
Join thousands of professionals who've advanced their careers with our platform
Unlock Your Formal Methods Potential: Insight & Career Growth Guide
Real-time Formal Methods Jobs Trends in Remote, United States (Graphical Representation)
Explore profound insights with Expertini's real-time, in-depth analysis, showcased through the graph below. This graph displays the job market trends for Formal Methods in Remote, United States using a bar chart to represent the number of jobs available and a trend line to illustrate the trend over time. Specifically, the graph shows 461 jobs in United States and 6 jobs in Remote. This comprehensive analysis highlights market share and opportunities for professionals in Formal Methods roles. These dynamic trends provide a better understanding of the job market landscape in these regions.
Great news! Leidos is currently hiring and seeking a Formal Methods Engineer to join their team. Feel free to download the job details.
Wait no longer! Are you also interested in exploring similar jobs? Search now: Formal Methods Engineer Jobs Remote.
An organization's rules and standards set how people should be treated in the office and how different situations should be handled. The work culture at Leidos adheres to the cultural norms as outlined by Expertini.
The fundamental ethical values are:The average salary range for a Formal Methods Engineer Jobs United States varies, but the pay scale is rated "Standard" in Remote. Salary levels may vary depending on your industry, experience, and skills. It's essential to research and negotiate effectively. We advise reading the full job specification before proceeding with the application to understand the salary package.
Key qualifications for Formal Methods Engineer typically include Other General and a list of qualifications and expertise as mentioned in the job specification. Be sure to check the specific job listing for detailed requirements and qualifications.
To improve your chances of getting hired for Formal Methods Engineer, consider enhancing your skills. Check your CV/Résumé Score with our free Resume Scoring Tool. We have an in-built Resume Scoring tool that gives you the matching score for each job based on your CV/Résumé once it is uploaded. This can help you align your CV/Résumé according to the job requirements and enhance your skills if needed.
Here are some tips to help you prepare for and ace your job interview:
Before the Interview:To prepare for your Formal Methods Engineer interview at Leidos, research the company, understand the job requirements, and practice common interview questions.
Highlight your leadership skills, achievements, and strategic thinking abilities. Be prepared to discuss your experience with HR, including your approach to meeting targets as a team player. Additionally, review the Leidos's products or services and be prepared to discuss how you can contribute to their success.
By following these tips, you can increase your chances of making a positive impression and landing the job!
Setting up job alerts for Formal Methods Engineer is easy with United States Jobs Expertini. Simply visit our job alerts page here, enter your preferred job title and location, and choose how often you want to receive notifications. You'll get the latest job openings sent directly to your email for FREE!