Leidos
Employer Industry
Technology and Defense
Why consider this job opportunity
Salary up to $153,925.00
Opportunity for career advancement and growth within the organization
Engage in cutting‑edge R&D projects with a focus on national security
Work in a collaborative environment with high‑performing teams
Contribute to innovative solutions and technologies in formal methods and cyber‑physical systems
What to Expect (Job Responsibilities)
Serve as an individual contributor on R&D programs, supporting the development of innovative automated reasoning solutions
Develop software and test cases while adapting and extending formal methods tools
Engage with customers to explore new business opportunities
Contribute to high‑impact projects relevant to U.S. national security
Collaborate with teams to integrate software‑based solutions for defense‑related clients
What is Required (Qualifications)
BS in Computer Science or related area and 4+ years of relevant experience, or a Master's degree with 2+ years of relevant experience
Industrial or academic experience in formal verification, including program analysis and theorem proving
At least 2 years of experience with programming languages such as Java, Scala, C/C++, Ruby, Rust, or Python
Minimum of 3 years of hands‑on experience applying formal methods and conducting applied research in cyber‑physical systems
Must be a U.S. Citizen with the ability to obtain and maintain a Secret security clearance
How to Stand Out (Preferred Qualifications)
Ph.D. or M.S. in Electrical Engineering, Computer Science, Mathematics, or related fields
Experience applying formal methods in research contexts with complex domains
Demonstrable experience in extending formal methods tools for new challenges
Involvement in proposal and project execution for competitive, externally‑funded projects
Strong written and oral communication skills for conveying technical information
We prioritize candidate privacy and champion equal‑opportunity employment. Central to our mission is our partnership with companies that share this commitment. We aim to foster a fair, transparent, and secure hiring environment for all. If you encounter any employer not adhering to these principles, please bring it to our attention immediately.
We are not the EOR (Employer of Record) for this position. Our role in this specific opportunity is to connect outstanding candidates with a top‑tier employer.
#J-18808-Ljbffr
Why consider this job opportunity
Salary up to $153,925.00
Opportunity for career advancement and growth within the organization
Engage in cutting‑edge R&D projects with a focus on national security
Work in a collaborative environment with high‑performing teams
Contribute to innovative solutions and technologies in formal methods and cyber‑physical systems
What to Expect (Job Responsibilities)
Serve as an individual contributor on R&D programs, supporting the development of innovative automated reasoning solutions
Develop software and test cases while adapting and extending formal methods tools
Engage with customers to explore new business opportunities
Contribute to high‑impact projects relevant to U.S. national security
Collaborate with teams to integrate software‑based solutions for defense‑related clients
What is Required (Qualifications)
BS in Computer Science or related area and 4+ years of relevant experience, or a Master's degree with 2+ years of relevant experience
Industrial or academic experience in formal verification, including program analysis and theorem proving
At least 2 years of experience with programming languages such as Java, Scala, C/C++, Ruby, Rust, or Python
Minimum of 3 years of hands‑on experience applying formal methods and conducting applied research in cyber‑physical systems
Must be a U.S. Citizen with the ability to obtain and maintain a Secret security clearance
How to Stand Out (Preferred Qualifications)
Ph.D. or M.S. in Electrical Engineering, Computer Science, Mathematics, or related fields
Experience applying formal methods in research contexts with complex domains
Demonstrable experience in extending formal methods tools for new challenges
Involvement in proposal and project execution for competitive, externally‑funded projects
Strong written and oral communication skills for conveying technical information
We prioritize candidate privacy and champion equal‑opportunity employment. Central to our mission is our partnership with companies that share this commitment. We aim to foster a fair, transparent, and secure hiring environment for all. If you encounter any employer not adhering to these principles, please bring it to our attention immediately.
We are not the EOR (Employer of Record) for this position. Our role in this specific opportunity is to connect outstanding candidates with a top‑tier employer.
#J-18808-Ljbffr