Formal Methods Engineer
Jane Street · New York, New York, United States · listed 12 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 with your contact details and your resume 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
- Resume match scores — coming next