Remote Lean 4 Proof Engineer — Mathematical Formalization (Perth)

Remote Lean 4 Proof Engineer — Mathematical Formalization (Perth)

21 Oct
|
Alignerr
|
Perth

21 Oct

Alignerr

Perth

Alignerr is seeking Lean 4 Proof Engineers to translate informal mathematical arguments into machine-verifiable Lean formalizations. You will analyze proofs, identify gaps, and construct formalizations that push the boundaries of automated provers while collaborating with AI researchers on verification strategies.

The role emphasizes precision, readability, and compatibility with Lean idioms, with remote, hourly arrangements and 10–40 hours per week commitment.

📌 Remote Lean 4 Proof Engineer — 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.

Assistant Accountant (Brisbane)

Assistant Accountant (Brisbane)

21 Oct
|
Majer Recruitment
|
Brisbane
  • 21 Oct
  • Majer Recruitment
  • Brisbane

This range is provided by Majer Recruitment. Your actual pay will be based on your skills and experience — talk with your recruiter to learn more. Base pay range A$75,000.00/yr - A$90,000.00/yr [...]

Executive AI Deployment Strategist — Enterprise Transformation (Sydney)

Executive AI Deployment Strategist — Enterprise Transformation (Sydney)

21 Oct
|
Mistral
|
Sydney
  • 21 Oct
  • Mistral
  • Sydney

Mistral is seeking an AI Deployment Strategist to bridge vision and execution for strategic enterprise accounts. You will diagnose business challenges, design AI-powered solutions, and lead deployment [...]

Subscribe to this job alert:

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

Full-Time Delivery Driver: Parts (Mona Vale)

Full-Time Delivery Driver: Parts (Mona Vale)

21 Oct
|
Motion
|
Mona Vale
  • 21 Oct
  • Motion
  • Mona Vale

Repco is seeking a Delivery Driver for the Brookvale location in New South Wales. The role involves picking up and transporting products to customers with a focus on safety and service. A company vehi [...]

Integrated Photonics Design Engineer, Device Components (Town of Cambridge)

Integrated Photonics Design Engineer, Device Components (Town of Cambridge)

21 Oct
|
HyperLight
|
Town of Cambridge
  • 21 Oct
  • HyperLight
  • Town of Cambridge

HyperLight is at the forefront of the commercialization of thin‑film lithium niobate (TFLN) integrated photonics - a material and process technology that is enabling high‑performance, scalable opt [...]

Subscribe to this job alert:

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