Markon is looking for an Applied Scientist to advance the application of formal verification techniques within a classified development environment. This role focuses on using automated reasoning and formal methods to ensure the security and reliability of complex computer systems for government customers.
What You'll Do
- 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
What We're Looking For
- An Active TS/SCI clearance
- A PhD in Computer Science or a closely related field
- 7+ years of experience in formal methods, automated reasoning, or related research areas
- A strong publication record in areas such as formal logic, model checking, and program verification
- Experience performing research and development work for government customers
- Experience applying formal methods in real-world or industry environments
- A demonstrated ability to work independently and lead technical teams in delivering formal verification results
Technical Stack
- SAW / Cryptol
- Kani
- Tamarin
- SPIN
- SAT / SMT Solvers
- Interactive Theorem Provers
Benefits & Compensation
- Compensation: USD $200,000.00 - USD $250,000.00 /Yr.
- Medical, Dental, Vision
- Life Insurance
- Short-Term Disability
- Long-Term Disability
- 401(k) match
- Flexible Spending Accounts
- Employee Assistance Program (EAP)
- Training and Tuition Assistance
- Paid Time Off
- Company Holidays
Work Mode
This role requires an onsite work mode to support the classified development environment.
Markon is an Equal Opportunity Employer. All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, pregnancy, national origin, age, protected veteran status, or disability status.
