Remote Researcher: Lean 4 & Formal Proof Systems (Brisbane City)

Remote Researcher: Lean 4 & Formal Proof Systems (Brisbane City)

14 Aug
|
Alignerr
|
Brisbane City

14 Aug

Alignerr

Brisbane City

Alignerr is seeking a Researcher for Lean 4 & formal proof systems to translate dense mathematical arguments into machine-verifiable proofs. The role is remote, hourly, and adaptable, with 10–40 hours per week.

You will shape AI reasoning by building robust Lean proofs and collaborating on verification pipelines. The ideal candidate holds a Master’s or higher in mathematics or related fields and has hands-on experience with Lean (3/4) and related proof assistants.

#J-18808-Ljbffr

📌 Remote Researcher: Lean 4 & Formal Proof Systems (Brisbane City)
🏢 Alignerr
📍 Brisbane City

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 researcher: lean 4 & formal proof systems (brisbane city) / brisbane city

Subscribe to this job alert:

Get the latest job offers by email for: remote researcher: lean 4 & formal proof systems (brisbane city) / brisbane city