Remote Lean 4 Formal Methods Researcher: Shape Ai Reasoning Adelaide

Remote Lean 4 Formal Methods Researcher: Shape Ai Reasoning Adelaide

04 Aug
|
Alignerr
|
Adelaide

04 Aug

Alignerr

Adelaide

Alignerr in Australia is seeking an Applied Formal Methods Researcher to translate rigorous mathematics into Lean 4 proofs. You will work at the frontier of formal verification and AI reasoning, producing machine-checkable formalizations.
Remote, hourly contract, * hours/week. You will collaborate with researchers to improve verification pipelines and test the limits of proof assistants, with emphasis on clarity and correctness.
J-*-Ljbffr

📌 Remote Lean 4 Formal Methods Researcher: Shape Ai Reasoning 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 formal methods researcher: shape ai reasoning adelaide / adelaide

Subscribe to this job alert:

Get the latest job offers by email for: remote lean 4 formal methods researcher: shape ai reasoning adelaide / adelaide