Remote Lean 4 Researcher — Formal Proof & Ai Reasoning (Alice Springs)

Remote Lean 4 Researcher — Formal Proof & Ai Reasoning (Alice Springs)

13 Aug
|
Alignerr
|
Alice Springs

13 Aug

Alignerr

Alice Springs

Alignerr is seeking a Researcher to translate deep mathematical arguments into Lean 4 proofs, pushing formal verification to current frontiers. This fully remote, hourly contract offers ***** hours per week and a chance to influence AI reasoning through rigorous, machine-verifiable formalizations.
You will work on translating informal proofs, analyzing sub-structures, and developing readable proof scripts in Lean 4, Coq, Isabelle/HOL, or Agda, collaborating with researchers to improve verification
#J-*****-Ljbffr

📌 Remote Lean 4 Researcher — Formal Proof & Ai Reasoning (Alice Springs)
🏢 Alignerr
📍 Alice Springs

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 researcher — formal proof & ai reasoning (alice springs) / alice springs

Subscribe to this job alert:

Get the latest job offers by email for: remote lean 4 researcher — formal proof & ai reasoning (alice springs) / alice springs