Software Engineer

Who we are

At Logical Intelligence, we're revolutionizing software development with AI-powered formal verification. We've developed groundbreaking agents that provide mathematical guarantees of code correctness, ensuring that software behaves exactly as intended while proactively identifying bugs and security vulnerabilities. We’ve won ​​a well-known formal verification benchmark called PutnamBench, which consists of 672 hard math problems from the William Lowell Putnam Exam, the oldest collegiate mathematics competition in North America. Backed by a world-class team – including 6 ICPC medalists, 10 PhDs, a Fields Medalist and an ACM Turing Award winner – we're building the future where all code is provably correct.

About the role

Join our team as an SWEngineer and help us push the boundaries of what's possible in logical reasoning!  We’re looking for a motivated software engineer to build and refine the systems, tooling, and infrastructure that power AI-driven formal verification at scale. You’ll work closely with a world-class team of formal verification researchers and ICPC winners to create groundbreaking technology that makes mathematically proven software correctness practical for real-world codebases.

What you'll do

• Build and extend our 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 their integration into production systems


• Collaborate with researchers and engineers across teams to turn cutting-edge ideas into practical, scalable systems

Qualifications

• 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 care and good engineering judgment


• Excellent programming skills and a product-minded approach to software development, with the ability to balance technical quality, delivery speed, and business priorities


• Ability to use your own engineering expertise together with AI tools in a thoughtful and effective way


• 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, with the ability to work closely with exceptional teammates across research and engineering

Bonus Points

• Experience with formal verification concepts, methods, or tools


• Experience with Lean or other theorem proving environments


• Strong Python skills

logicalintelligence.com