Remote Lean 4 Formal Verification Expert Melbourne

Remote Lean 4 Formal Verification Expert Melbourne

25 Oct
|
Alignerr
|
Melbourne

25 Oct

Alignerr

Melbourne

Alignerr Corp. is seeking mathematicians and formal verification specialists to translate advanced mathematical arguments into Lean 4 proofs, at the edge of what proof assistants can express and automate.

This fully remote, hourly contract role offers 10–40 hours per week and requires mastery of rigorous proof with hands-on experience with proof assistants. No AI background needed, just robust formal verification skills.

📌 Remote Lean 4 Formal Verification Expert Melbourne
🏢 Alignerr
📍 Melbourne

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 lean 4 formal verification expert melbourne / melbourne

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 lean 4 formal verification expert melbourne / melbourne