New York, New York, United StatesonsitemidSoftware Engineering
Preview
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 forma
Full posting locked
Company, description, requirements, and direct apply unlock with a subscription.