Lean 4 Formal Verification Scientist — Remote Contract Perth

Lean 4 Formal Verification Scientist — Remote Contract Perth

18 Oct
|
Alignerr
|
Perth

18 Oct

Alignerr

Perth

Alignerr is seeking mathematicians and formal verification specialists to translate advanced mathematical arguments into Lean 4 proofs, advancing machine-verifiable formalizations. This remote, hourly contract role suits those who relish precision and the elegance of formal mathematics.

You’ll work on translating informal proofs, analyzing sub-structures, and collaborating with AI researchers to refine verification strategies in a versatile asynchronous setup.
J-18808-Ljbffr

📌 Lean 4 Formal Verification Scientist — Remote Contract Perth
🏢 Alignerr
📍 Perth

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.

Scheduler (Mandurah)

Scheduler (Mandurah)

19 Oct
|
Coolibah Care
|
Mandurah
  • 19 Oct
  • Coolibah Care
  • Mandurah

Job Category: Administration & Office Support Are you passionate about aged care and want to work with other like-minded people? Coolibah Care has been the aged care provider of choice in the Peel [...]

SCYLLA ISS Maintenance & Inventory Coordinator (Rockingham)

SCYLLA ISS Maintenance & Inventory Coordinator (Rockingham)

19 Oct
|
Thales Group
|
Rockingham
  • 19 Oct
  • Thales Group
  • Rockingham

## SCYLLA ISS Maintenance & Inventory CoordinatorApply: On-Site: Rockingham: Full time: Posted Today: End Date: October 22, 2026 (29 days left to apply): R0339799At Thales, we know technology has the [...]

Subscribe to this job alert:

Get the latest job offers by email for: lean 4 formal verification scientist — remote contract perth / perth

Heritage Manager (Stirling)

Heritage Manager (Stirling)

19 Oct
|
Mineral Resources
|
Stirling
  • 19 Oct
  • Mineral Resources
  • Stirling

MinRes Can Offer - Lead strategic Aboriginal Cultural Heritage outcomes across MinRes operations, projects and exploration. - Build trusted partnerships with Traditional Owners, Native Title Partie [...]

Locum Obstetrics & Gynecology Consultant - Kalgoorlie (Boulder)

Locum Obstetrics & Gynecology Consultant - Kalgoorlie (Boulder)

19 Oct
|
Global Medics APAC
|
Boulder
  • 19 Oct
  • Global Medics APAC
  • Boulder

Global Medics is seeking an Obstetrics & Gynaecology Consultant for locum opportunities in Kalgoorlie, Western Australia. You will join a multidisciplinary team delivering obstetric and gynaecological [...]

Subscribe to this job alert:

Get the latest job offers by email for: lean 4 formal verification scientist — remote contract perth / perth