Formal Methods Research and Development
Jane Street is hiring for Formal Methods Research and Development in New York, New York, United States. Intern level. First seen November 10, 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
- Intern
- First seen
- November 10, 2026
- Listed via
- Greenhouse
What the posting says
You'll be paired with full-time employees who act as mentors, collaborating with you on a real-world project that combines your research background with one of our active projects, such as adding support for property-based testing of formal specifications or developing a refinement type system for functional correctness verification. You’ll have the opportunity to evaluate the tools you develop on a large, actively developed production codebase. You'll also be able to attend guest speakers and social events, and hopefully get a real sense of what it would be like to work here full-time.…
Read more and apply on Jane Street's site
More jobs like this
Research Engineer
Save to applyResearch Software Engineer
Save to apply2027 Research Intern - NYC
Save to applySenior LLM Engineer, R&D
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 research and development 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.