Job Description

A leading AI research partner is seeking a Lean 4 Proof Engineer for mathematical formalization. The role emphasizes translating informal proofs into structured, formal documentation using Lean. Ideal candidates are mathematicians with a Master’s degree, strong in proof writing and verification. Responsibilities include analyzing mathematical arguments, collaborating with researchers, and pushing the boundaries of formal verification. This opportunity offers competitive pay and flexible remote work arrangements.
#J-18808-Ljbffr

Ready to Apply?

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

Submit Application