Formal Methods Engineer

Jane StreetLondon, England, United KingdomFull-timePosted
Apply on GreenhouseCheck your resume against this job

About this role

About the Position We're looking for software engineers and researchers to establish a new Formal Methods team at Jane Street. With the emergence of agentic programming, we think formal methods will play a major role in providing feedback for agents and helping validate agent-generated code. Our vis

This is a short preview. Read the full description on Greenhouse before you apply.

Get new jobs like these by email

Free. Unsubscribe in one click.

Learn AI for this job, first module free

A short, hands-on course on using AI in this kind of work.

Start free

Similar jobs in United Kingdom

More jobs