Remote Lean 4 Formal Verification Scientist for AI Proofs (Brisbane City)

Remote Lean 4 Formal Verification Scientist for AI Proofs (Brisbane City)

02 Aug
|
Alignerr
|
Brisbane City

02 Aug

Alignerr

Brisbane City

Alignerr is seeking Formal Verification Scientists to translate advanced mathematics into Lean 4 formalizations, shaping what modern proof assistants can express, capture, and automate.

This fully remote, versatile hourly contract invites mathematicians with a Master’s or higher in math-focused fields and hands-on experience with Lean, Coq, Isabelle/HOL, or Agda to collaborate with AI researchers and push the boundaries of mechanized mathematics.

#J-18808-Ljbffr

📌 Remote Lean 4 Formal Verification Scientist for AI Proofs (Brisbane City)
🏢 Alignerr
📍 Brisbane City

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.

NDIS Support Worker - Immediate Start Available (Sydney) (Maroubra)

NDIS Support Worker - Immediate Start Available (Sydney) (Maroubra)

08 Aug
|
Pristine Care Group
|
Maroubra
  • 08 Aug
  • Pristine Care Group
  • Maroubra

Description Pristine Care Group (PCG) is a registered NDIS provider looking for reliable and compassionate Support Workers to support NDIS participants in their homes and community. Immediate start [...]

Registered Nurse | Peninsula Health Centre / The Mole Clinic (Frankston)

Registered Nurse | Peninsula Health Centre / The Mole Clinic (Frankston)

08 Aug
|
RPB Health
|
Frankston
  • 08 Aug
  • RPB Health
  • Frankston

General Practice Registered Nurse (Casual) Peninsula Health Centre & The Mole Clinic | Frankston South, VIC Where General Practice Meets Advanced Skin Cancer Care Looking for more than just anot [...]

Subscribe to this job alert:

Get the latest job offers by email for: remote lean 4 formal verification scientist for ai proofs (brisbane city) / brisbane city

Operator Final Trim - FIFO (Perth)

Operator Final Trim - FIFO (Perth)

08 Aug
|
Flanco
|
Perth
  • 08 Aug
  • Flanco
  • Perth

Operator Final Trim - FIFO Current Positions, New Projects (Goldfields and Pilbara) We have new projects commencing soon, 2:1 or 3:1 rosters from Perth. - Long term opportunities, ongoing work, s [...]

Production Operator/Technician (Pittsworth)

Production Operator/Technician (Pittsworth)

08 Aug
|
JP Smith Recruitment
|
Pittsworth
  • 08 Aug
  • JP Smith Recruitment
  • Pittsworth

Production Operator/Technician - High Quality Food Production Environment - Competitive Salary Package - Best Practice Team Environment Why join the business: Our client is a recognised food pro [...]

Subscribe to this job alert:

Get the latest job offers by email for: remote lean 4 formal verification scientist for ai proofs (brisbane city) / brisbane city