Formal Methods Engineer
Jane Street · London, England, United Kingdom · listed 24 days ago
Entry level
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…
Read the full description
Free registration — your contact details plus five quick fields about the role you want, or your CV — unlocks every description on the site, plus the apply link.
- The complete posting, as the employer wrote it
- Apply directly on Jane Street's own site
- A match score on every job, from your profile or your CV
