Jane Street
Formal Methods Engineer
About this role
Jane Street is launching a new Formal Methods team to develop tools that leverage formal verification and validation techniques for agent-generated code and software development. We're seeking experienced engineers and researchers who can translate cutting-edge formal methods research into practical, widely-adopted tools while collaborating closely with our programming community.
What you'll do
- Design and develop formal methods tools and systems for validating code and supporting agentic programming
- Integrate formal methods techniques into existing infrastructure and workflows across the firm
- Collaborate with engineering teams to gather feedback and refine tools for practical adoption
- Explore novel approaches combining formal methods with emerging agentic programming paradigms
- Contribute to language and proof system design to better support proof-oriented techniques
- Build bridges between cutting-edge research and production-quality software
What they're looking for
- Deep expertise in formal methods (proof assistants, theorem provers, static analysis, refinement types, or program logics)
- Strong software engineering and systems design
- Program verification and validation techniques
- Collaborative development and communication
- Property-based testing or related verification approaches
- Ability to translate research concepts into practical tools
- Problem-solving and analytical thinking
Opens the official application on the employer’s site. No login required.
Jane Street
Jane Street builds high-performance trading systems and critical infrastructure using primarily OCaml and Python to support distributed trading operations. The company is hiring software engineers, network engineers, and operations engineers at both intern and full-time levels to work on real production projects including trading systems, infrastructure optimization, routing protocols, and internal tooling.
- Website
- janestreet.com
Likely interview questions
- Can you describe your most significant experience with formal methods tools or techniques? Which ones have you worked with, and what did you accomplish?
- Tell us about a time you took a research idea or cutting-edge approach and turned it into a practical, production-ready tool. What were the challenges?