Jane Street · New York, New York, United States · Posted 2026-11-03
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 vis…
Apply on the company siteTailor my resume for this jobFree 5-day trial — sign up with your email to apply. Mahatrix Technologies does not charge any percentage of your salary.