About this role
Formal Methods Engineer at Jane Street. Location: London, England, United Kingdom. Role: building tools, translating research, integrating tools Requirements: Deep experience in formal methods, strong software engineering skills, and strong interpersonal skills to turn research into practical tools and deploy them across the firm. Category: Software Development Seniority: Senior Level Tools: OCaml Commitment: Full Time Workplace: Onsite Languages: English