Remote Lean 4 Proof Engineer for Mathematical Formalization (Sydney)

02 Oct

Alignerr

Sydney

02 Oct

Alignerr

Sydney

Alignerr is seeking a Lean 4 Proof Engineer to translate advanced mathematics into machine-verifiable formalizations. This is a fully remote, hourly contract role emphasizing precision, structure, and pushing proof assistants to their limits.

You will translate informal proofs, identify gaps, and construct Lean formalizations while collaborating with AI researchers to refine verification strategies and maintain readable proof scripts.

#J-18808-Ljbffr

📌 Remote Lean 4 Proof Engineer for Mathematical Formalization (Sydney)
🏢 Alignerr
📍 Sydney

Reply to this offer

Impress this employer describing Your skills and abilities, fill out the form below and leave Your personal touch in the presentation letter.

Videographer and Content Creator (Sydney)

03 Oct

Green by Nature AU

Sydney

03 Oct
Green by Nature AU
Sydney

Bring our people, projects and impact to life. Are you a creative storyteller who loves being behind the camera just as much as being behind the edit? This is a hands-on role where no two days will [...]

DoorDash Shopper (Rous)

03 Oct

Doordash

Rous

03 Oct
Doordash
Rous

*Shop & Deliver with DoorDash!* Turn your shopping skills into a flexible way to earn income. As a Shopper with DoorDash, you can deliver groceries, convenience, retail, alcohol, and more–earning [...]