Remote Lean 4 Formal Methods Researcher (Contract) (Sydney)

Remote Lean 4 Formal Methods Researcher (Contract) (Sydney)

12 Oct
|
Alignerr
|
Sydney

12 Oct

Alignerr

Sydney

Alignerr is seeking mathematicians with hands-on experience in formal verification to translate rigorous arguments into Lean proofs for mechanized mathematics. This fully remote hourly contract role focuses on Lean 4 proofs, exploring the boundaries of automated provers, and building datasets to train AI reasoning systems.

You will translate formal arguments, analyze proof structures, and collaborate with AI researchers to refine verification pipelines.

#J-18808-Ljbffr

📌 Remote Lean 4 Formal Methods Researcher (Contract) (Sydney)
🏢 Alignerr
📍 Sydney

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.

Remote Travel Agent (Sydney)

Remote Travel Agent (Sydney)

13 Oct
|
Discover You Travel
|
Sydney
  • 13 Oct
  • Discover You Travel
  • Sydney

Are you passionate about helping others? We have an exciting opportunity for you to become a Remote Travel Agent. This role allows you to combine your love for helping people with the freedom of worki [...]

Floor Technician (Kingston)

Floor Technician (Kingston)

13 Oct
|
Harbor's Edge/Fort Norfolk Retirement Community
|
Kingston
  • 13 Oct
  • Harbor's Edge/Fort Norfolk Retirement Community
  • Kingston

Description Harbor’s Edge is a premier 5-star Continuing Care Retirement Community (CCRC) located on the Elizabeth River in Norfolk, Virginia. Our community offers a full continuum of care, includ [...]

Subscribe to this job alert:

Get the latest job offers by email for: remote lean 4 formal methods researcher (contract) (sydney) / sydney

Luxury Sales Associate - Faure Le Page (Melbourne)

Luxury Sales Associate - Faure Le Page (Melbourne)

13 Oct
|
Monards
|
Melbourne
  • 13 Oct
  • Monards
  • Melbourne

We are looking for a motivated and sales-driven Luxury Sales Associate to join Faure Le Page in Melbourne CBD. This role is ideal for someone who genuinely enjoys selling, connecting with people an [...]

Christmas Casual | Sunglass Hut Shellharbour (City of Shellharbour)

Christmas Casual | Sunglass Hut Shellharbour (City of Shellharbour)

13 Oct
|
Luxottica
|
City of Shellharbour
  • 13 Oct
  • Luxottica
  • City of Shellharbour

Christmas Casual | Sunglass Hut Shellharbour Your brightest summer starts at Sunglass Hut Because everything is brighter under the sun. Picture it: long summer days, the world's most iconic eyew [...]

Subscribe to this job alert:

Get the latest job offers by email for: remote lean 4 formal methods researcher (contract) (sydney) / sydney