Remote Researcher: Lean 4 & Formal Proof Systems (Gold Coast)

Remote Researcher: Lean 4 & Formal Proof Systems (Gold Coast)

24 Oct
|
Alignerr
|
Gold Coast

24 Oct

Alignerr

Gold Coast

Alignerr is seeking a Researcher to translate informal mathematical proofs into Lean 4 and related proof systems for AI training. You will express dense arguments in machine-verifiable form with emphasis on structure and correctness.
Responsibilities include analyzing proofs across domains, identifying gaps, and constructing formalizations that push proof assistants. Collaboration aims to improve verification pipelines and reproducible scripts.
#J-*****-Ljbffr

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

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.

Assistant Project Officer (Dubbo)

Assistant Project Officer (Dubbo)

26 Oct
|
Leading
|
Dubbo
  • 26 Oct
  • Leading
  • Dubbo

Assistant Project Officer - Location – Dubbo negotiable location - Employment type – Temporary till September 2026 - Salary – GR 5/6 $99,938 - $110,271 plus superannuation This position i [...]

Banking Consultant, Contact Centre - Suncorp Bank (Multiple Vacancies) (Australia)

Banking Consultant, Contact Centre - Suncorp Bank (Multiple Vacancies) (Australia)

26 Oct
|
Recognized
|
Australia
  • 26 Oct
  • Recognized
  • Australia

About Us At Suncorp Bank you can build a career with exceptional growth potential, within a culture of purpose and belonging. As part of the ANZ Group, when you apply to join Suncorp Bank, you'll be [...]

Subscribe to this job alert:

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

Accounts Receivable Officer (South Melbourne)

Accounts Receivable Officer (South Melbourne)

26 Oct
|
Leading
|
South Melbourne
  • 26 Oct
  • Leading
  • South Melbourne

The Opportunity We're partnering with a well-established, purpose-led organisation within the care and community sector to recruit an experienced Accounts Receivable Officer on a contract basis. Thi [...]

Banking Consultant, Maroochydore QLD (Australia)

Banking Consultant, Maroochydore QLD (Australia)

26 Oct
|
Important Business
|
Australia
  • 26 Oct
  • Important Business
  • Australia

About Us At ANZ, we're shaping a world where people and communities thrive, driven by a common goal: to improve the financial wellbeing and sustainability of our millions of customers. About the Rol [...]

Subscribe to this job alert:

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