Remote Researcher: Lean 4 & Formal Proof Systems (Victoria)

Remote Researcher: Lean 4 & Formal Proof Systems (Victoria)

30 Aug
|
Alignerr
|
Victoria

30 Aug

Alignerr

Victoria

Job Description
Alignerr is seeking a researcher to advance Lean 4 formalization and AI training. This fully remote hourly contract invites mathematicians and verification specialists to translate informal proofs into machine-verifiable Lean 4 code, exploring algebra, topology, and logic in a remote, versatile setting.
n
The role emphasizes rigorous proof writing, reproducible scripts, and collaboration to push the boundaries of formal verification tools. ***** hours per week, highly autonomous work.

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

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 (victoria) / victoria

Subscribe to this job alert:

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