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

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

11 Oct
|
Alignerr
|
Canberra

11 Oct

Alignerr

Canberra

Alignerr is seeking a Researcher — Lean 4 & Formal Proof Systems (AI Training) to translate advanced mathematical arguments into Lean proofs and push the boundaries of AI verification. This fully remote hourly contract invites researchers who value rigor, structure, and mechanized reasoning at the frontier of mathematics.

The role focuses on developing readable proof scripts, expanding proof libraries, and collaborating with teams to improve verification pipelines for AI training.

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

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.

Project Engineer (Melbourne)

Project Engineer (Melbourne)

13 Oct
|
Motion Recruitment
|
Melbourne
  • 13 Oct
  • Motion Recruitment
  • Melbourne

About the opportunity A well-established electronic security integrator is looking for a Project Engineer to join its team, based in Melbourne, with Sydney-based candidates also being considered. [...]

Safety Officer - Pilings (Western Australia)

Safety Officer - Pilings (Western Australia)

13 Oct
|
Design & Build
|
Western Australia
  • 13 Oct
  • Design & Build
  • Western Australia

Safety Advisor | Piling | Commercial & Mining | $150K–$170K + Super + Vehicle Our client is a well-established specialist piling contractor delivering concrete piling projects across the commercial [...]

Subscribe to this job alert:

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

HR Coordinator (Mulgrave)

HR Coordinator (Mulgrave)

13 Oct
|
Veritas
|
Mulgrave
  • 13 Oct
  • Veritas
  • Mulgrave

About the Role: Expand your HR experience and broaden your corporate HR skillset within a prestige global brand. We’re looking for a motivated HR professional with 1-2 years’ experience, inc [...]

Emergency FACEM - Locum (Victoria)

Emergency FACEM - Locum (Victoria)

13 Oct
|
CC Medical
|
Victoria
  • 13 Oct
  • CC Medical
  • Victoria

If these dates or rates don’t match you are looking for, please reach out to your consultant as we have many unadvertised positions - 8 November until 1 December - Accommodation provided, travel ki [...]

Subscribe to this job alert:

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