Senior Software Engineer – Formal Verification

Senior Software Engineer – Formal Verification

We are seeking an experienced Software Engineer to join a highly-coveted AI startup (team from Palantir, AWS and more).

This role is focused on bridging the gap between formal methods research and production engineering. You will play a key role in taking advanced verification and static analysis techniques and turning them into scalable, reliable systems used in real-world software environments.

You’ll join an experienced founding team, with the opportunity to shape and lead the development of verification infrastructure from the ground up.

What We’re Looking For

• 5 years of industry experience working with formal verification or static analysis
• Strong software engineering background with experience building production systems
• Master’s or PhD in Computer Science, Software Engineering, or a related field
• Proven experience taking research concepts into production environments
• Solid understanding of formal verification methodologies and static analysis techniques
• Familiarity with real-world software constraints, performance considerations, and deployment challenges

Nice to Have

• Experience with tools such as SMT solvers, theorem provers, or symbolic execution engines
• Exposure to large language models (LLMs) and their application to code or verification
• Background in building developer tools, infrastructure, or systems software

This is a great opportunity to work at the intersection of research and real-world impact and help define how formal methods are applied in production systems at scale. You'll collaborate with a world-class team from leading AI and technology organizations and will play a key role in shaping a critical area of the company’s technology stack.

Please apply ASAP for more info.