Job Description

A leading remote technology firm is looking for a Formal Verification Scientist to convert informal mathematical arguments into formal proofs. Ideal candidates should have advanced degrees in related fields and strong experience with formal proof languages, especially Lean. The role promotes flexibility in hours and offers competitive pay, making it an excellent opportunity for those passionate about mechanized mathematics and formal verification processes.
#J-18808-Ljbffr

Ready to Apply?

Take the next step in your AI career. Submit your application to Alignerr today.

Submit Application