Jane Street
FormalMethodsEngineer
“Formal Methods Engineer at Jane Street. Skills: Formal methods, Software engineering, Agentic programming. Establish a new Formal Methods team. Provide feedback for agents”
What They're Looking For.
Must Have
Deep experience with formal methods, Top-notch software engineering skills, Interpersonal skills
Nice to Have
Previous experience with OCaml, Previous experience with functional programming
What You'll Do.
Establish a new Formal Methods team
Provide feedback for agents
Validate agent-generated code
Make formal methods useful
Leverage existing tools
Pursue novel approaches
Turn research ideas into practical tools
Get tools in use across the firm
How You'll Work.
Team & Collaboration
Small, close-knit teams
Applying for this Formal Methods Engineer role?
Most applicants get filtered before a human reads their resume. See if yours makes the cut.
How to Apply on Greenhouse
- Create a Greenhouse profile before applying — it saves time across multiple applications.
- Upload your resume as a PDF; the parser handles it better than Word.
- Answer all knockout questions carefully — wrong answers auto-reject before a human sees you.
- Enable email notifications to track application status in real time.
ANONYMOUS · UNFILTERED
What do employees actually say about Jane Street?
Real rants from real employees. Read before you apply.