Formal Methods Engineer
Jane Streetabout 3 hours ago
London, United KingdomMid Level / Senior
H1B Sponsor
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.
- 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 practically.
- Strong interpersonal skills for effective collaboration in teams.
- No previous experience with OCaml or functional programming is required.