Janestreet in New York is seeking software engineers and researchers to build a new Formal Methods team. This role involves applying formal methods to enhance programming approaches and validate agent-generated code. ideal candidates will have substantial expertise in formal methods and strong software engineering skills, working collaboratively in close-knit teams.
Join us in a unique opportunity to innovate and shape the future of programming with deep control over our technology and a receptive community of programmers.
#J-18808-Ljbffr
Formal Methods Engineer for Agent-Driven Software
Jane Street · New York, NY, USA ·
- Job type:
- Full Time