Impress employers and recruiters.
Choose from hundreds of resume examples.
Impress employers and recruiters.
Choose from hundreds of resume examples.
Target Resume Now
About the Role
Join our team and help push the boundaries of logical reasoning. Build and refine systems, tooling, and infrastructure for AI-driven formal verification at scale. Collaborate with a world-class team of researchers and ICPC winners to create groundbreaking technology, making mathematically proven software correctness practical for real-world codebases.
Responsibilities
- Build and extend formal verification libraries and core tooling in Python and Lean 4
- Develop and improve AI Provers for theorem proving and formal reasoning workflows
- Design infrastructure for real-time formal verification services and production system integration
- Collaborate with researchers and engineers to transform cutting-edge ideas into practical, scalable systems
Requirements
- 5+ years of experience building software in big tech companies or high-performance startup environments
- Strong experience working with large, complex codebases and evolving them with good engineering judgment
- Product-minded approach to software development, balancing technical quality, delivery speed, and business priorities
- Ability to use engineering expertise with AI tools thoughtfully and effectively
- Readiness to thrive in a startup environment, switch contexts quickly, and take ownership across a wide range of problems
- Strong ability to learn new domains and technologies quickly, including Lean and formal verification
- Strong communication and collaboration skills, working closely with exceptional teammates across research and engineering
Skills
- Programming skills
- Formal verification
- Lean
- Theorem proving environments
- Python skills
Experience Level
- 5+ years of experience
About the Company
- Logical Intelligence revolutionizes software development with AI-powered formal verification.
- Developed groundbreaking agents providing mathematical guarantees of code correctness, identifying bugs and security vulnerabilities.
- Won the PutnamBench formal verification benchmark.
- Backed by a world-class team including 6 ICPC medalists, 10 PhDs, a Fields Medalist, and an ACM Turing Award winner.
- Building the future where all code is provably correct.