Janestreet
Formal Methods Engineer
New York, New York, United States
Sponsorship not specifiedDetected 40 days ago
Research
About the role
- The whole world is thinking about what agents mean for the future of programming, and there's no shortage of efforts trying to mix formal methods and agents.
- But think there are things about Jane Street that make this a unique opportunity.
- First, we have deep control of the language we're using, which lets us shape it into a better home for proof-oriented techniques.
Responsibilities
- With the emergence of agentic programming, we think formal methods will play a major role in providing feedback for agents and helping validate agent-generated code.
Requirements
- Deep experience with formal methods.
Benefits
- 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.
Company info
- We're looking for software engineers and researchers to establish a new Formal Methods team at Jane Street.
Apply directly at Janestreet →Create a free account for alerts like thisView Janestreet immigration profile
This listing is sourced directly from Janestreet's careers page and normalized into a canonical job model.