Remote Lean 4 Formal Methods Researcher (Brisbane)

Remote Lean 4 Formal Methods Researcher (Brisbane)

03 Nov
|
Alignerr
|
Brisbane

03 Nov

Alignerr

Brisbane

Alignerr is seeking mathematicians and formal methods specialists to formalize advanced proofs in Lean 4, working at the boundary of human intuition and machine-verifiable logic. This is a fully remote, hourly contract role for experts who enjoy rigorous proof work.

You'll translate informal arguments into Lean code, challenge assumptions, and collaborate with AI researchers to advance formal verification pipelines, with flexible schedule between 10 and 40 per week.

#J-18808-Ljbffr

📌 Remote Lean 4 Formal Methods Researcher (Brisbane)
🏢 Alignerr
📍 Brisbane

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 formal methods researcher (brisbane) / brisbane

Subscribe to this job alert:

Get the latest job offers by email for: remote lean 4 formal methods researcher (brisbane) / brisbane