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 / Researcher
Builds
Practical formal methods tools integrated into Jane Street's infrastructure
Domain
Software engineering, formal verification, agentic programming
Deliverable
production ML models | product features
Required skills
interactive proof assistants, automated theorem provers, static analysis, refinement types, program logics, property-based testing, software engineering
Preferred skills
OCaml, functional programming
Responsibilities
Leverage existing tools and pursue novel approaches to make formal methods useful for building software
Seniority
Senior, hands-on IC
Sourced via greenhouse · Listed on CareerPlan, which tracks 70,000+ jobs from 20+ sources.
