Formal Methods Engineer
Jane Street is hiring for Formal Methods Engineer in London, England, United Kingdom. Senior level. First seen August 6, 2026; open as of November 12, 2026. Jobs taken straight from company career pages — no aggregator in between.
With Destava: How well do you fit? · Tailor my résumé · Write a cover letter
- Company
- Jane Street
- Where
- London, England, United Kingdom
- Level
- Senior
- First seen
- August 6, 2026
- Listed via
- Greenhouse
What the posting says
Deep experience with formal methods. There's no specific checklist. We're broadly interested in people with backgrounds in interactive proof assistants, automated theorem provers, static analysis, refinement types, program logics, property-based testing, and related areas. Top-notch software engineering skills. We're looking for people who can turn cutting-edge research ideas into practical tools, and get these tools in use across the firm and beyond. Strong interpersonal skills. Software engineering at Jane Street is highly collaborative, and we're looking for people who can work…
Read more and apply on Jane Street's site
More jobs like this
A search agent finds the jobs this list misses: the ones that mean the same without the same words. Have Destava watch for formal methods engineer jobs in London, England, United Kingdom, new matches every morning on your own account.