ApplySarthiFormal Methods Engineer
Jane Street
Jane Street is also hiring for this role in London, England, United Kingdom.
Tailor my CV for this job, freeView job and applyYour CV rewritten for this role, from your real experience. Sign in with Google, nothing to install.
Got this interview? Our apps help you get the job.
This role on the market
25 open methods roles across 15 companies are on ApplySarthi right now, most of them in Vadodara (1).
- Engineering Manager, Local Payment MethodsStripe
- Reliability & Methods EngineerSanofi
- Research and Development Engineer in Formal Methods - 12 months contractInstitut Mines-Télécom
- Process & Methods EngineerHitachi
- Senior Applied Research Scientist – AI Native Numerical MethodsNvidia
What methods roles keep asking for: Python (28%), C++ (16%), ERP (12%), Java (12%), Power BI (12%), Supply chain (12%) — counted across their open postings here.
Jane Street has 217 open roles listed here.
- Events Coordinator
- Formal Methods Research and Development
- Formal Methods Research and Development
- Machine Learning Compiler Engineer
- Machine Learning Compiler Engineer
Counted across 14 company job boards, updated as roles open and close.
Preparing for this interview
Interviews for methods roles keep coming back to Python, C++, ERP, Java. Practise those questions before you sit with Jane Street.
Questions you are likely to be asked
- Why do you want to join Jane Street?
- Describe a time a deadline forced a trade-off in quality. What did you choose and why?
- How would you design an API for a feature you have worked on?
- What do you do when a production issue happens on your code?
- Walk me through a system you built. How was it designed, and what would you change now?
Prep Sarthi gives you a free mock interview: an AI interviewer asks you questions like these out loud, from your own CV and this job, and shows your score and your weakest answer.
Practise the Formal Methods Engineer at Jane Street interview free →About the Position
We're looking for software engineers and researchers to establish a new Formal Methods team at Jane Street. With the emergence of agentic programming, we think formal methods will play a major role in providing feedback for agents and helping validate agent-generated code. Our vision is to make formal methods as useful a tool for building software as type systems are for us today, both by leveraging existing tools and technology, and pursuing novel approaches.
We're looking to build a new team with engineers who have:
- 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 effectively in small, close-knit teams.
We are interested in exploring a wide variety of approaches. While we are eager to integrate new tools into our existing infrastructure, no previous experience with OCaml or functional programming is required.
Why do it here?
The whole world is thinking about what agents mean for the future of programming, and there's no shortage of efforts trying to mix formal methods and agents. But think there are things about Jane Street that make this a unique opportunity.
First, we have deep control of the language we're using, which lets us shape it into a better home for proof-oriented techniques. We can adjust the language and the proof system at the same time in ways that aren't possible when you have to take the language as given.
Second, we have a community of programmers who are eager to adopt new tools, and have the right intellectual toolkit to do so. That community is an unparalleled source of both feedback and leverage for the work we do here.
We're in the early stages of building this team, with an enormous amount of work ahead of us, and we'd love you to be a part of it.
Match this job to your CV
ApplySarthi scores your CV against this role, shows the skills you are missing, and writes a tailored version for the application.
Check my match →Similar open roles
- Accounting CoordinatorJane Street
- AML Onboarding AnalystJane Street
- Architect Jane Street
- ASIC EngineerJane Street
- ASIC EngineerJane Street
- ASIC Physical Design EngineerJane Street
- ASIC Physical Design EngineerJane Street
- AV EngineerJane Street
Need answers during your interview? Try Live Sarthi.
Live Sarthi, an Interview Sarthi app, shows answer suggestions during the call.
- Hidden from supported screen sharingThe overlay stays out of supported Windows screen captures.
- Answers start in about 1.5 secondsResponse time varies with your connection and model.
- From your own CVYour projects and your experience, not a generic script.
- 30 minutes freeThen ₹149 for a 2-day pass with unlimited calls — you pay for the days you are interviewing, not a subscription.
A Windows app, from the same team as ApplySarthi.
Listed on greenhouse · posted 2026-06-11. ApplySarthi collects openings and links to application pages; the role is advertised by Jane Street, not by us.