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-09-28; Skip The Boards re-checks every company's board regularly and removes listings that disappear from the source.
More at Jane Street
- Machine Learning Performance Engineer
- Talent Development Specialist
- Machine Learning Researcher
- ꓟachine ꓡearning ꓣesearcher