Key skills
TypeScript
About this role
Role Overview
- Apply formal methods and automated reasoning techniques to verify the security and correctness of software and computer systems
- Conduct research and development supporting government customers in classified environments
- Develop and deliver formal proofs of security for complex computing systems
- Collaborate with engineering teams to integrate formal verification methods into development workflows
- Lead and contribute to research initiatives advancing model checking, program verification, and automated reasoning
- Document research findings and technical results for internal and customer stakeholders
Requirements
- Active TS/SCI clearance
- PhD in Computer Science or a closely related field
- 7+ years of experience in formal methods, automated reasoning, or related research areas
- Strong publication record in areas such as: Formal logic, Model checking, Program verification
- Experience performing research and development work for government customers
- Experience applying formal methods in real-world or industry environments
- Demonstrated ability to work independently and lead technical teams in delivering formal verification results
Tech Stack
- TypeScript
Benefits
- Medical
- Dental
- Vision
- Life Insurance
- Short-Term Disability
- Long-Term Disability
- 401(k) match
- Flexible Spending Accounts
- EAP
- Training and Tuition Assistance
- Paid Time Off
- Holidays