Formal Methods Engineer
Jane Street· New York, New York, United States
seen live 21h ago
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
This link goes straight to the employer's greenhouse page. Posted 115 days ago.We last confirmed it was open 21h ago.