Research Engineer - Formal Methods

About this role

ABOUT CODE METAL Code Metal is the leader in automated software engineering you can trust. As AI writes more of the world's code, the bottleneck in software has shifted from writing code to verifying it works, and AI cannot verify its own work with certainty. Code Metal takes a fundamentally differe

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

• Research

Learn AI for this job, first module free

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

Start free