Formal Methods Engineer
Jane Street2 months ago
Responsibilities
- Help establish and grow Jane Street’s new Formal Methods team.
- Develop practical formal-methods tools for software development and validation of agent-generated code.
- Explore and pursue a wide variety of formal-methods approaches, including novel techniques.
- 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.
- Top-notch software engineering skills and the ability to turn research ideas into practical tools.
- Strong interpersonal and collaboration skills for working in small, close-knit teams.
- No previous experience with OCaml or functional programming is required.
Categories
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.