ApplySarthiFormal Methods Research and Development
Jane Street
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
7,289 open development roles across 826 companies are on ApplySarthi right now, most of them in Bengaluru (363), Hyderabad (144), Delhi NCR (63).
- Senior Software Development Engineer, BackendJobgether
- Business Development Manager (Distribution Partnerships), Amazon Fuse and MBD Amazon
- Sales Development ProgramGartner
What development roles keep asking for: Java (17%), C++ (16%), AWS (16%), Python (15%), C# (12%), Salesforce (12%) — counted across their open postings here.
Jane Street has 217 open roles listed here.
- Events Coordinator
- Formal Methods Research and Development
- Machine Learning Compiler Engineer
- Machine Learning Compiler Engineer
- AML Onboarding Analyst
Counted across 14 company job boards, updated as roles open and close.
Preparing for this interview
Interviews for development roles keep coming back to Java, C++, AWS, Python. Practise those questions before you sit with Jane Street.
Questions you are likely to be asked
- Why do you want to join Jane Street?
- Where do you want to be in three years?
- What is a weakness you are working on, and how?
- Tell me about yourself, and why this role is the right next step.
- Tell me about a problem you solved at work that you are proud of.
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 Research and Development at Jane Street interview free →About the position
We're opening our first internships in the Formal Methods group of our OCaml Language team, which develops language features and tooling for correctness reasoning and bug finding in OCaml programs. With the emergence of agentic programming, we think formal methods will play a major role in helping validate agent-generated code and providing feedback for agents. 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.
During the internship, we want to give you a real sense of what it's like to work at Jane Street full time while also providing a truly unparalleled educational experience. 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.
There is plenty of work on combining agents and formal methods. What’s different at Jane Street is that we aren't stuck designing verification tools for legacy languages: we can modify and improve OxCaml, our branch of OCaml, and its development environment to make them well-suited for proof-driven software development. Moreover, we have a community of excellent programmers who are eager to adopt these tools and apply them to real software.
Learn more about Jane Street's internship program here.
About you
We're looking for PhD students, postdocs, and masters students with outstanding research experience in program verification, programming language semantics, property-based testing, static analysis, model checking, and related areas. You should be
- A strong programmer who enjoys collaborating in small teams
- Excited to turn research ideas into practical tools
- Intellectually curious, humble and unafraid to ask questions
We don't expect you to have a background in finance, OCaml, or functional programming.
If you're a recruiting agency and want to partner with us, please reach out to agency-partnerships@janestreet.com.
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-11-09. ApplySarthi collects openings and links to application pages; the role is advertised by Jane Street, not by us.