Jane Street
Formal Methods Engineer
New York, New York, United States · Full-time · Posted Jun 11, 2026
About the job
Build a new Formal Methods team and develop practical tools that use formal methods to validate agent-generated code and improve software development.
What you'll do
- Turn research ideas into practical formal-methods tools and promote their use across the firm and beyond.
- Explore approaches to integrating formal methods with agentic programming.
- Collaborate with a small, close-knit team to build the new team’s tools and infrastructure.
What they ask for
- Deep experience with formal methods.
- Strong software engineering skills.
- Strong interpersonal and collaboration skills.
Nice to have
- Experience with interactive proof assistants, automated theorem provers, static analysis, refinement types, program logics, or property-based testing.
Tools
OCaml
AI focus
Develop formal-methods tools to provide feedback for programming agents and validate agent-generated code.
Model-written summary · the original posting is authoritative