Applied Scientist - Automated Reasoning

Tasks

• Collaborate on verification strategies
• Conduct research supporting classified systems
• Develop formal proofs for security
• Document research findings
• Verify software and system security

Perks/Benefits

• Impactful work
• Opportunities for growth
• Professional development
• Team collaboration

Skills/Tech-stack

Automated Reasoning | Cryptol | Formal Methods | Formal verification | Kani | Model Checking | Program verification | SMT solvers | SPIN | Tamarin | Theorem provers