Senior/Staff Software Engineer

Logical Intelligence

15h

About The Position

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.

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 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

Nice To Haves

• Experience with formal verification concepts, methods, or tools
• Experience with Lean or other theorem proving environments
• Strong Python skills

Responsibilities

• 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

What This Job Offers

• Job Type: Full-time
• Career Level: Senior
• Education Level: No Education Listed