About this role
Formal Methods Engineer at Jane Street. Location: New York, New York, United States. Role: building tools, integrating tools, conducting research Requirements: Deep experience with formal methods, strong software engineering skills, and excellent interpersonal abilities. Familiarity with proof assistants, theorem provers, static analysis, and related areas; OCaml experience not required. Category: Software Development Seniority: Senior Level Tools: OCaml Commitment: Full Time Workplace: Onsite Languages: English