Remote Lean 4 Proof Engineer For Mathematical Formalization Perth

Remote Lean 4 Proof Engineer For Mathematical Formalization Perth

07 Oct
|
Alignerr
|
Perth

07 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-18808-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.

ICT Service Desk Officer (Osborne Park)

ICT Service Desk Officer (Osborne Park)

08 Oct
|
Northfleet
|
Osborne Park
  • 08 Oct
  • Northfleet
  • Osborne Park

About Northfleet Northfleet is a Western Australian transport and equipment business. We run buses, trucks and heavy haulage out of five depots Osborne Park (head office), Hazelmere, Port Hedland, Ka [...]

EOI - Digital Learning and Design Intern (Australia)

EOI - Digital Learning and Design Intern (Australia)

08 Oct
|
The University of Notre Dame Australia
|
Australia
  • 08 Oct
  • The University of Notre Dame Australia
  • Australia

Description EOI - Digital Learning and Design Interns, Innovation and Design Fremantle, Broome or Sydney campus Casual opportunities on offer - Open to Notre Dame current students only - Casu [...]

Subscribe to this job alert:

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

Panel Beater - ACT (Canberra)

Panel Beater - ACT (Canberra)

08 Oct
|
Ama Group
|
Canberra
  • 08 Oct
  • Ama Group
  • Canberra

About AMA The AMA Group, is Australia's largest network of accident repair facilities, which currently comprises of over 120 outlets and over 2,200 employees across Australia and New Zealand. The AM [...]

Manager Solution Architecture (North Sydney)

Manager Solution Architecture (North Sydney)

08 Oct
|
Digital Realty Global
|
North Sydney
  • 08 Oct
  • Digital Realty Global
  • North Sydney

Description Position Title: Manager, Solution Architecture Location: Sydney Your role This role is ideal for a professional with a blend of strategic architectural expertise and hands-on engin [...]

Subscribe to this job alert:

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