Formal Methods Engineer — Build Next-Gen Verification Tools

Jane Street Group, LLC; Northern, New York (KY, NY); Hybrid; USD 250,000 - 300,000; Full time

Job summary

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.

Qualifications

• Deep experience with formal methods.
• Top-notch software engineering skills.
• Strong interpersonal skills and ability to work in small teams.

Responsibilities

• Establish and lead a new Formal Methods team.
• Translate research ideas into practical tools for production use.
• Collaborate across teams to integrate formal methods into Jane Street's infrastructure.

Skills

Formal methods

Interactive proof assistants

Automated theorem provers

Static analysis

Refinement types

Program logics

Property-based testing

Collaborative teamwork

Software engineering

Tools

OCaml

Job description

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.