Remote Researcher: Lean 4 & Formal Proof Systems (Sydney)

Remote Researcher: Lean 4 & Formal Proof Systems (Sydney)

13 Oct
|
Alignerr
|
Sydney

13 Oct

Alignerr

Sydney

Alignerr Corp. seeks a Researcher to advance Lean 4 formalization for AI training. This fully remote, hourly contract role targets mathematicians and logicians to convert informal proofs into Lean 4 code and explore mechanized reasoning's frontiers.

You will analyze proofs, build formalizations, and collaborate on strategies to improve formal verification pipelines, delivering reproducible proof scripts and rigorous mathematical models.

#J-18808-Ljbffr

📌 Remote Researcher: Lean 4 & Formal Proof Systems (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 researcher: lean 4 & formal proof systems (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 researcher: lean 4 & formal proof systems (sydney) / sydney