Formal Methods Engineer
About The Position
We're looking for software engineers and researchers to establish a new Formal Methods team at Jane Street. With the emergence of agentic programming, we think formal methods will play a major role in providing feedback for agents and helping validate agent-generated code. Our vision is to make formal methods as useful a tool for building software as type systems are for us today, both by leveraging existing tools and technology, and pursuing novel approaches. We're looking to build a new team with engineers who have: Deep experience with formal methods. There's no specific checklist. We're broadly interested in people with backgrounds in interactive proof assistants, automated theorem provers, static analysis, refinement types, program logics, property-based testing, and related areas. Top-notch software engineering skills. We're looking for people who can turn cutting-edge research ideas into practical tools, and get these tools in use across the firm and beyond. Strong interpersonal skills. Software engineering at Jane Street is highly collaborative, and we're looking for people who can work effectively in small, close-knit teams. We are interested in exploring a wide variety of approaches. While we are eager to integrate new tools into our existing infrastructure, no previous experience with OCaml or functional programming is required.
Requirements
- Deep experience with formal methods (interactive proof assistants, automated theorem provers, static analysis, refinement types, program logics, property-based testing, and related areas).
- Top-notch software engineering skills.
- Strong interpersonal skills.
- Ability to work effectively in small, close-knit teams.
Nice To Haves
- Previous experience with OCaml or functional programming.
Responsibilities
- Establish a new Formal Methods team.
- Provide feedback for agents and help validate agent-generated code.
- Leverage existing tools and technology, and pursue novel approaches in formal methods.
- Turn cutting-edge research ideas into practical tools.
- Get these tools in use across the firm and beyond.
- Work effectively in small, close-knit teams.
- Integrate new tools into existing infrastructure.
Stand Out From the Crowd
Upload your resume and get instant feedback on how well it matches this job.
What This Job Offers
Job Type
Full-time
Career Level
Senior
Education Level
No Education Listed
