Formal Methods Engineer
Jane Street26 days ago
London, United KingdomMid Level / Senior
H1B Sponsor
Responsibilities
- Establish a new Formal Methods team at Jane Street.
- Transform research ideas into practical software tools.
- Collaborate effectively within small, close-knit teams.
- Explore a variety of approaches to integrate formal methods into existing infrastructure.
Requirements
- Deep experience with formal methods, including areas like interactive proof assistants and automated theorem provers.
- Top-notch software engineering skills to implement research into tools.
- Strong interpersonal skills for collaborative work.