Formal Methods Engineer
Jane Street2 months ago
London, United KingdomSenior
Responsibilities
- Establish and build Jane Street’s new Formal Methods team.
- Develop tools and approaches that provide feedback for programming agents and help validate agent-generated code.
- Leverage existing formal methods technology while pursuing novel approaches.
- Integrate new tools into Jane Street’s existing infrastructure and support adoption across the firm and beyond.
Requirements
- Deep experience with formal methods, including areas such as interactive proof assistants, automated theorem provers, static analysis, refinement types, program logics, or property-based testing.
- Strong software engineering skills and the ability to turn research ideas into practical tools.
- Strong interpersonal and collaboration skills for working effectively in small, close-knit teams.
- Previous experience with OCaml or functional programming is not required.
About Jane Street
Jane Street is a global quantitative trading firm and liquidity provider that builds in-house software and research platforms to trade across asset classes. It makes markets and executes proprietary strategies on exchanges and electronic venues, serving institutional markets rather than individual investors. Founded in 2000 and headquartered in New York, it is privately held with offices in London, Hong Kong, Singapore, and Amsterdam.