Formal Methods Engineer
Jane Street26 days ago
Responsibilities
- Establish and develop a new Formal Methods team.
- Transform research ideas into practical software tools.
- Collaborate with a close-knit team of engineers.
- Integrate new tools into existing infrastructure.
- Provide feedback for agent-generated code.
Requirements
- Deep experience with formal methods in areas like interactive proof assistants and automated theorem provers.
- Top-notch software engineering skills.
- Strong interpersonal skills for effective collaboration.
- No previous experience with OCaml or functional programming is required.