Applied Scientist - Automated Reasoning

Job description

Description 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 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 stakeholder...