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, collaborating closely with programmers, and exploring approaches such as interactive proof assistants, automated theorem provers, static analysis, refinement types, program logics, and property-based testing. Prior OCaml or functional programming experience is not required.
