Formal Methods Engineer for Agent-Driven Software

Janestreet; New York (NY); On-site; USD 120,000 - 150,000; Full time

Job summary

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.

Qualifications

• Deep experience with formal methods, ideally related to interactive proof assistants, theorem provers, and related areas.
• Ability to turn research ideas into practical tools for software engineering.
• Excellent collaboration skills to work effectively in small teams.

Responsibilities

• Establish a new Formal Methods team at Jane Street.
• Develop practical tools from cutting-edge research ideas.
• Collaborate closely with a team of engineers.

Skills

Experience with formal methods

Software engineering skills

Strong interpersonal skills

Job description

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.