Formal Methods Engineer
Jane Street is hiring for Formal Methods Engineer in New York, New York, United States. 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
- New York, New York, United States
- 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
Research Engineer
Save to applyFormal Methods Research and Development
Save to applyResearch Software Engineer
Save to apply2027 Research Intern - NYC
Save to apply
See all 166 Computer and Information Research Scientists jobs in New York
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 New York, New York, United States, new matches every morning on your own account.
This page includes information from the O*NET 31.0 Database by the U.S. Department of Labor, Employment and Training Administration (USDOL/ETA). Used under the CC BY 4.0 license. O*NET® is a trademark of USDOL/ETA.