Job Description

A remote tech organization is looking for a Formal Verification Scientist who specializes in Lean 4 and Mathlib. The ideal candidate should hold a master’s degree in mathematics or related fields and possess a strong foundation in rigorous proof construction. Responsibilities include translating informal proofs to machine-verifiable formats and collaborating on enhancing verification strategies. This position offers competitive hourly pay, flexible work hours, and the possibility of contract extension.
#J-18808-Ljbffr

Ready to Apply?

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

Submit Application