Formal Methods Engineer

Requirements

• Deep experience with formal methods in areas such as proof assistants, theorem provers, static analysis, etc.
• Top-notch software engineering skills to translate research ideas into practical tools.
• Strong interpersonal skills for effective collaboration in small teams.

Nice to Haves

• Experience with OCaml or functional programming.

What You'll Be Doing

• Establishing a new Formal Methods team at Jane Street.
• Exploring various approaches in integrating new tools into existing infrastructure.
• Shaping programming language for proof-oriented techniques.
• Working with a community eager to adopt new tools and provide valuable feedback.

Perks and Benefits

• Opportunity to be part of an early-stage team with plenty of exciting work ahead.
• Engagement with a community of programmers for feedback and support.