Formal Methods Engineer
Core
Building a new Formal Methods team to provide feedback for agentic programming agents and validate agent-generated code.
Role type
Senior IC formal methods engineer (research & tooling)
Builds
Practical formal methods tools integrated into Jane Street's software infrastructure
Domain
Software engineering, formal verification, agentic programming
Deliverable
production ML models | product features | infrastructure
Required skills
interactive proof assistants, automated theorem provers, static analysis, refinement types, program logics, property-based testing, software engineering, OCaml, functional programming
Preferred skills
experience with proof-oriented techniques, ability to bridge research and practice
Technologies
OCaml, functional programming
Responsibilities
Develop and integrate formal methods tools for agent validation, collaborate on novel approaches to formal verification, build infrastructure for proof-oriented techniques
Seniority
Senior, hands-on IC
