Formal Methods Engineer
Jane Street· Technology
Hybrid (London)full-timePosted 3mo ago
About the role
We are building a new Formal Methods team at Jane Street. The role targets engineers and researchers to develop and apply formal methods, integrating tools with existing infrastructure and exploring novel approaches to improve software reliability and agent validation.
Last updated Oct 25, 2026. Interested? Apply on the company site.
About Jane Street
SIX
Jane Street is a quantitative trading firm and liquidity provider with a unique focus on technology and collaborative problem solving.
Machine learningquantitative tradingtechnologyresearch-drivenglobal marketsinternshipseventsprograms
More open roles at Jane Street
- Travel SpecialisttodayNew York · Hospitality and Building Operations
- Product Manager, Creative EngagementtodayNew York · Creative
- MacOS EngineertodayHong Kong · Technology
- AV EngineertodayHybrid (Hong Kong) · Technology
- Compliance AnalysttodayHybrid (London) · Legal and Compliance