Remote Lean 4 Proof Engineer — Formalize Advanced Math (Adelaide)

Remote Lean 4 Proof Engineer — Formalize Advanced Math (Adelaide)

12 Oct
|
Alignerr
|
Adelaide

12 Oct

Alignerr

Adelaide

Alignerr is seeking a Lean 4 Proof Engineer to formalize advanced proofs in Lean 4, pushing the frontier of machine-verifiable mathematics. This fully remote, hourly contract role offers flexible hours and collaboration with leading researchers.

Strong mathematical depth and hands-on experience with formal proof systems are required; no AI background is necessary. 10–40 hours per week, globally distributed team, work from home allowed.

#J-18808-Ljbffr

📌 Remote Lean 4 Proof Engineer — Formalize Advanced Math (Adelaide)
🏢 Alignerr
📍 Adelaide

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.

Subscribe to this job alert:

Get the latest job offers by email for: remote lean 4 proof engineer — formalize advanced math (adelaide) / adelaide

Subscribe to this job alert:

Get the latest job offers by email for: remote lean 4 proof engineer — formalize advanced math (adelaide) / adelaide