Description
Jane Street is hiring software engineers and researchers to establish a new Formal Methods team focused on using formal methods to provide feedback for agents and validate agent-generated code. The role involves developing practical tools from research ideas, integrating or creating formal-methods technologies, and collaborating closely with the firm’s software community. Candidates should have deep formal-methods experience, strong software engineering skills, and strong interpersonal skills; prior OCaml or functional-programming experience is not required.
