Formal Methods Engineer
Jane Streetabout 3 hours ago
Responsibilities
- Establish a new Formal Methods team at Jane Street.
- Leverage formal methods to provide feedback for agents and validate agent-generated code.
- Turn cutting-edge research ideas into practical tools for software development.
- Collaborate effectively within small, close-knit teams to enhance software engineering practices.
- Explore a variety of approaches to integrate new tools into existing infrastructure.
Requirements
- Deep experience with formal methods, including interactive proof assistants and automated theorem provers.
- Top-notch software engineering skills to implement research ideas into practical applications.
- Strong interpersonal skills for effective collaboration in a team environment.
- No previous experience with OCaml or functional programming is required.