Remote Lean 4 Formal Methods Researcher Contract Sydney

Remote Lean 4 Formal Methods Researcher Contract Sydney

13 Oct
|
Alignerr
|
Sydney

13 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.

Factory Support Team (Fixed Term) (Bunyip North)

Factory Support Team (Fixed Term) (Bunyip North)

14 Oct
|
Leading
|
Bunyip North
  • 14 Oct
  • Leading
  • Bunyip North

The impact you’ll make - As a Factory support team at Lam Research Manufacturing Korea, you will be responsible for supporting LMK Factory operation by analyzing shortage data to identify and escal [...]

Compliance Expert - Fully Remote (Sydney)

Compliance Expert - Fully Remote (Sydney)

14 Oct
|
Important Business
|
Sydney
  • 14 Oct
  • Important Business
  • Sydney

About the job Mercor connects elite creative and technical talent with leading AI research labs. Headquartered in San Francisco, our investors include Benchmark, General Catalyst, Peter Thiel, Adam D [...]

Subscribe to this job alert:

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

Product Manager (Identity Verification) (Sydney)

Product Manager (Identity Verification) (Sydney)

14 Oct
|
NCS Australia
|
Sydney
  • 14 Oct
  • NCS Australia
  • Sydney

Job Description We are looking for a Product Manager (Identity Verification) to own and drive identity verification capabilities within our Customer Identity and Access Management (CIAM) transforma [...]

Registered Nurse - Whyalla Hospital Casual Pool (South Australia)

Registered Nurse - Whyalla Hospital Casual Pool (South Australia)

14 Oct
|
Sa Health
|
South Australia
  • 14 Oct
  • Sa Health
  • South Australia

- Flinders and Upper North Local Health Network – Whyalla - RN/M1 | Casual - Salar: $39.26 - $53.57 per hour | 25% Casual Loading | Casual Contract (up to 4 April 2027) Join us as a Registered Nurs [...]

Subscribe to this job alert:

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