Remote Researcher: Lean 4 (Brisbane)

Remote Researcher: Lean 4 (Brisbane)

25 Oct
|
Alignerr
|
Brisbane

25 Oct

Alignerr

Brisbane

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.

📌 Remote Researcher: Lean 4 (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.

Term-Time School Crossing Supervisor Relief Roles (Melbourne)

Term-Time School Crossing Supervisor Relief Roles (Melbourne)

25 Oct
|
Cardinia
|
Melbourne
  • 25 Oct
  • Cardinia
  • Melbourne

Cardinia Shire Council is seeking School Crossing Supervisors to help safeguard children at crossings across the shire. This role supports communities by ensuring safe school routes and requires relia [...]

Provider Services Officer (Parramatta)

Provider Services Officer (Parramatta)

25 Oct
|
HCF
|
Parramatta
  • 25 Oct
  • HCF
  • Parramatta

Join the HCF Contact Centre and provide Uncommon Care to our providers. About the Role As a Provider Services Officer, you will be responsible for providing excellent service to HCF Providers such [...]

Subscribe to this job alert:

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

Service Desk Specialist (Melbourne)

Service Desk Specialist (Melbourne)

25 Oct
|
Just Group
|
Melbourne
  • 25 Oct
  • Just Group
  • Melbourne

Premier Retail Premier Retail is an iconic Australian retailer and owns two of the most exciting and fastest-growing retail brands, Peter Alexander and Smiggle. Born from homegrown beginnings, our s [...]

Reddy Express Tocumwal - Customer Service Representative

Reddy Express Tocumwal - Customer Service Representative

25 Oct
|
Reddy Express
|
Tocumwal
  • 25 Oct
  • Reddy Express
  • Tocumwal

Reddy Express Tocumwal - Customer Service Representative Reddy Express - Customer Service Representative OTR Group comprises of over 1000 retail, convenience, and quick service restaurants – inc [...]

Subscribe to this job alert:

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