Job Description

A forward-thinking technology company is looking for a Formal Verification Scientist specializing in Lean 4 and Mathlib. This remote position offers competitive compensation ranging from $70 to $150 per hour and requires a Master’s degree in Mathematics or a related field. Responsibilities include translating informal mathematical proofs into formal verifications, collaborating on advanced AI projects, and enhancing formal verification processes. Ideal candidates will have a strong passion for formal verification and hands-on experience with proof assistants.
#J-18808-Ljbffr

Ready to Apply?

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

Submit Application