Formal Methods Engineer — Build -Gen Verification Tools
Listed on 2026-10-17
-
Engineering
Systems Engineer, Test Engineer
Location: New York
Jane Street Group, LLC is looking to establish a new Formal Methods team. We seek engineers and researchers who can translate research ideas into practical tools and contribute to our software infrastructure.
We value deep formal methods experience, interactive proof assistants, automated theorem provers, and strong collaboration in small teams. Base salary ranges from $250,000 to $300,000 with discretionary bonus.
This is a genuine position to take on the Formal Methods Engineer — Build Next-Gen Verification Tools role at Jane Street Group, LLC.
We aim to respond to suitable candidates as soon as possible.
Full responsibilities and requirements are described in the listing above.
Learn more about the Formal Methods Engineer — Build Next-Gen Verification Tools role in the description above.
We appreciate your interest in this position.
Join Jane Street Group, LLC and contribute to our ongoing work.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).