Formal Methods Engineer
New Yorkonsitemid
via Greenhouse
About this role
About the Position
We're looking for software engineers and researchers to establish a new Formal Methods team at Jane Street. 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. 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.
We're looking to build a new team with engineers who have:
Deep experience with formal methods. There's no specific checklist.…
What we'd score you on
reqspace match rubricFive dimensions, recruiter-grade. Upload your resume and we'll generate a written explanation of where you fit and where the gaps are.
1
Skills match
We compare your skills against the role requirements.
2
Level fit
This role is mid-level. We check your trajectory against it.
3
Domain experience
Your work in the role's domain matters more than your years total. We weight recent and direct experience.
4
Recency
A skill you used last quarter weighs more than one from five years ago. We grade on recency, not lifetime.
5
Location fit
This role is based in New York. We weight your proximity and willingness to relocate.
Score yourself on this role.
Free · no card · written explanation included
More at Janestreet
- View →Cybersecurity EngineerNew York, New York, United States
- View →Cybersecurity EngineerSingapore
- View →Senior Financial Reporting AccountantHong Kong, Hong Kong
- View →Workplace Services & Experience – APAC LeadHong Kong, Hong Kong
- View →Recruiting CoordinatorNew York, New York, United States
- View →China SalesHong Kong, Hong Kong