Applied Scientist - Automated Reasoning

Markon•Arlington, VA

9d•$200,000 - $250,000

About The Position

Markon’s partner company is seeking an Applied Scientist specializing in Automated Reasoning and Formal Methods to support a classified development environment and day-to-day build operations. This role focuses on advancing the application of formal verification techniques to ensure the security and reliability of complex computer systems. The ideal candidate is a formal methods expert with strong research experience who can work both independently and collaboratively to develop rigorous proofs and verification strategies for mission-critical systems

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
Strong working knowledge of formal methods tools and frameworks, such as: SAW / Cryptol Kani Tamarin SPIN SAT / SMT Solvers Interactive Theorem Provers

Responsibilities

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