Formal Methods Engineer

About this role

Jane Street is launching a new Formal Methods team to develop tools that leverage formal verification and validation techniques for agent-generated code and software development. We're seeking experienced engineers and researchers who can translate cutting-edge formal methods research into practical, widely-adopted tools while collaborating closely with our programming community.

What you'll do

• Design and develop formal methods tools and systems for validating code and supporting agentic programming
• Integrate formal methods techniques into existing infrastructure and workflows across the firm
• Collaborate with engineering teams to gather feedback and refine tools for practical adoption
• Explore novel approaches combining formal methods with emerging agentic programming paradigms
• Contribute to language and proof system design to better support proof-oriented techniques
• Build bridges between cutting-edge research and production-quality software

What they're looking for

• Deep expertise in formal methods (proof assistants, theorem provers, static analysis, refinement types, or program logics)
• Strong software engineering and systems design
• Program verification and validation techniques
• Collaborative development and communication
• Property-based testing or related verification approaches
• Ability to translate research concepts into practical tools
• Problem-solving and analytical thinking