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

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

13 Aug
|
Alignerr
|
Brisbane

13 Aug

Alignerr

Brisbane

Alignerr is seeking a Researcher for Lean 4 & formal proof systems to translate dense mathematical arguments into machine-verifiable proofs. The role is remote, hourly, and adaptable, with ***** hours per week.
You will shape AI reasoning by building robust Lean proofs and collaborating on verification pipelines. The ideal candidate holds a Master's or higher in mathematics or related fields and has hands-on experience with Lean (3/4) and related proof assistants.
#J-*****-Ljbffr

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

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.

Data Governance Manager (City of Sydney)

Data Governance Manager (City of Sydney)

15 Aug
|
Macquarie Group
|
City of Sydney
  • 15 Aug
  • Macquarie Group
  • City of Sydney

Join our Macquarie’s Banking and Financial Services Data Governance team focusing on the refinement and delivery of Macquarie’s data management frameworks and standards to meet our regulatory obli [...]

Early Learning Educator - City Campus | Growth & Secondment (Melbourne)

Early Learning Educator - City Campus | Growth & Secondment (Melbourne)

15 Aug
|
Comcare (Australian Government)
|
Melbourne
  • 15 Aug
  • Comcare (Australian Government)
  • Melbourne

An innovative educational institution in Melbourne is seeking an Early Childhood Educator to join their team. The role involves supporting lead educators in program delivery, facilitating engaging hol [...]

Subscribe to this job alert:

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

Casual OSHC Educator — Inspire Kids with Flexible Shifts (Brisbane City)

Casual OSHC Educator — Inspire Kids with Flexible Shifts (Brisbane City)

15 Aug
|
Catholic Early EdCare
|
Brisbane City
  • 15 Aug
  • Catholic Early EdCare
  • Brisbane City

Catholic Early EdCare is seeking a casual Educator at St Columba’s OSHC Wilston in Queensland to support before/after school and vacation care for up to 150 children. The role is approx. 12–15 hou [...]

Quantum Computing Research Software Engineer (Python) (City of Parramatta Council)

Quantum Computing Research Software Engineer (Python) (City of Parramatta Council)

15 Aug
|
Quantum Motion
|
City of Parramatta Council
  • 15 Aug
  • Quantum Motion
  • City of Parramatta Council

Quantum Motion is seeking a software developer to join their team in Sydney. The role involves developing and maintaining software for data acquisition and analysis to support the quantum hardware tea [...]

Subscribe to this job alert:

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