Formal Methods Engineer
Jane Street · New York, New York, United States
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.
This posting is pulled directly from Jane Street's own Greenhouse page and applying happens on their site, not here. Posted 2026-07-30; Skip The Boards re-checks every company's board regularly and removes listings that disappear from the source.