Impress employers and recruiters.
Choose from hundreds of resume examples.
Impress employers and recruiters.
Choose from hundreds of resume examples.
Target Resume Now
About the Role
We are establishing a new Formal Methods team at Jane Street to address the growing importance of formal methods in agentic programming, agent feedback, and code validation. Our goal is to make formal methods as integral to software development as type systems are today, by utilizing existing technologies and exploring new approaches.
Responsibilities
- Turn cutting-edge research ideas into practical tools.
- Integrate new tools into existing infrastructure.
- Collaborate effectively in small, close-knit teams.
Requirements
- Deep experience with formal methods, including interactive proof assistants, automated theorem provers, static analysis, refinement types, program logics, property-based testing, and related areas.
- Top-notch software engineering skills.
- Strong interpersonal skills.
Skills
- Formal methods
- Interactive proof assistants
- Automated theorem provers
- Static analysis
- Refinement types
- Program logics
- Property-based testing
- Software engineering
- Interpersonal skills
About the Company
- Jane Street has deep control over its programming language, allowing for the shaping of a better environment for proof-oriented techniques.
- Jane Street has a community of programmers eager to adopt new tools and possessing the intellectual capacity to do so, providing valuable feedback and leverage.
- The company is in the early stages of building this team with significant work ahead.