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, code validation, and providing feedback for agents. 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
- Establish a new Formal Methods team.
- Develop and integrate formal methods into software development practices.
- Turn cutting-edge research ideas into practical tools.
- Get tools in use across the firm and beyond.
- 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.
- Ability to work effectively in small, close-knit teams.
- Eagerness to adopt new tools.
- Intellectual toolkit to adopt new tools.
Skills
- Formal methods
- Interactive proof assistants
- Automated theorem provers
- Static analysis
- Refinement types
- Program logics
- Property-based testing
- Software engineering
- Interpersonal skills
Location
- New York, NY
Work Type
- Full-time
Experience Level
- Deep experience
About the Company
- Jane Street is a quantitative trading firm that employs a diverse range of strategies.
- We have deep control of our programming language, allowing us to shape it for proof-oriented techniques.
- We foster a community of programmers eager to adopt new tools and provide valuable feedback.