Remote Lean 4 Proof Engineer For Mathematical Formalization (Perth)

Remote Lean 4 Proof Engineer For Mathematical Formalization (Perth)

03 Oct
|
Alignerr
|
Perth

03 Oct

Alignerr

Perth

Job Description
Alignerr is seeking a Lean 4 Proof Engineer to translate advanced mathematics into machine-verifiable formalizations. This is a fully remote, hourly contract role emphasizing precision, structure, and pushing proof assistants to their limits.
n
You will translate informal proofs, identify gaps, and construct Lean formalizations while collaborating with AI researchers to refine verification strategies and maintain readable proof scripts.
#J-*****-Ljbffr

📌 Remote Lean 4 Proof Engineer For Mathematical Formalization (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.

Aboriginal Community Engagement and Cultural Officer (Coffs Harbour)

Aboriginal Community Engagement and Cultural Officer (Coffs Harbour)

05 Oct
|
Nameless
|
Coffs Harbour
  • 05 Oct
  • Nameless
  • Coffs Harbour

Aboriginal Community Engagement & Culture Officer Location – Coffs Harbour Community Corrections, Corrective Services NSW Employment type – Ongoing - 35 hours per week (Flexible working hours) [...]

Advanced & Intermediate Scaffolder (Kwinana Beach)

Advanced & Intermediate Scaffolder (Kwinana Beach)

05 Oct
|
Leading
|
Kwinana Beach
  • 05 Oct
  • Leading
  • Kwinana Beach

The Role SRG Global are currently seeking experienced Advanced & Intermediate Scaffolders to join our team in Kwinana for ongoing, long-term work. If you’re ready to be part of a high-performing cr [...]

Subscribe to this job alert:

Get the latest job offers by email for: remote lean 4 proof engineer for mathematical formalization (perth) / perth

Account Executive (Sydney)

Account Executive (Sydney)

05 Oct
|
Important Business
|
Sydney
  • 05 Oct
  • Important Business
  • Sydney

Overview While this role is not open at this time, we are actively identifying and engaging with high-quality Account Manager or Account Executive candidates in anticipation of future openings. Thi [...]

Assistant Manager - Berwick Inn Hotel (Harkaway)

Assistant Manager - Berwick Inn Hotel (Harkaway)

05 Oct
|
Recognized
|
Harkaway
  • 05 Oct
  • Recognized
  • Harkaway

Job Description Assistant Manager | Berwick Inn Hotel We’re on the hunt for our next Assistant Manager to help keep the Berwick Inn Hotel buzzing and loved by the locals. A day in the life of an [...]

Subscribe to this job alert:

Get the latest job offers by email for: remote lean 4 proof engineer for mathematical formalization (perth) / perth