Formal Methods Research and Development

Company

Jane Street

Where

London, England, United Kingdom

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

1. Applied AI Scientist, Simulation & Reinforcement Learning

   Locus Robotics · London, England · £70k–£120k a year · First seen Nov 7

   Save to apply

2. Agentic AI Principal

   Referrals Only · London, United Kingdom · First seen Nov 7

   Save to apply

3. Staff AI Engineer

   Method, a GlobalLogic company · London · First seen Nov 6

   Save to apply

4. Senior AI Scientist

   Mental Health Innovations · London, Greater London · £55k–£75k a year · First seen Nov 6

   Save to apply

5. Research Engineer / Scientist, Data & Evals

   Harvey · London · First seen Oct 31

   Save to apply

See all 44 Computer and Information Research Scientists jobs in London

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 London, England, United Kingdom, new matches every morning on your own account.