Remote Lean 4 Proof Engineer for AI Math Formalization (British Columbia)

Remote Lean 4 Proof Engineer for AI Math Formalization (British Columbia)

02 Aug
|
Alignerr
|
British Columbia

02 Aug

Alignerr

British Columbia

Alignerr seeks a Lean 4 Proof Engineer to translate rigorous mathematical arguments into machine-verifiable Lean proofs for AI research. This fully remote, hourly contract role emphasizes formal verification, reproducibility, and collaboration with researchers.
You will work at the frontier of mathematics and computer science, formalizing proofs and developing Lean models. Candidates hold a master's or higher in math/logic, robust proof-writing skills, and experience with Lean (Lean 4 preferred)

#J-18808-Ljbffr

📌 Remote Lean 4 Proof Engineer for AI Math Formalization (British Columbia)
🏢 Alignerr
📍 British Columbia

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.

Clinical Nurse Specialist - Geriatric Emergency Medicine (Toronto)

Clinical Nurse Specialist - Geriatric Emergency Medicine (Toronto)

06 Aug
|
Nameless
|
Toronto
  • 06 Aug
  • Nameless
  • Toronto

Company Description UHN is Canada’s #1 hospital and the world’s #1 publicly funded hospital. With 10 sites and more than 44,000 TeamUHN members, UHN consists of Toronto General Hospital, Toronto [...]

Continuous Improvement Specialist (Montréal-Est)

Continuous Improvement Specialist (Montréal-Est)

06 Aug
|
Leading
|
Montréal-Est
  • 06 Aug
  • Leading
  • Montréal-Est

Company Description Be part of AIM's growing success. American Iron & Metal Company (AIM) is a recognized global leader in the metal recycling industry, with over 125 locations and 4,000 employees w [...]

Subscribe to this job alert:

Get the latest job offers by email for: remote lean 4 proof engineer for ai math formalization (british columbia) / british columbia

Serveur(euse), Temps partiel (Montreal)

Serveur(euse), Temps partiel (Montreal)

06 Aug
|
Leading
|
Montreal
  • 06 Aug
  • Leading
  • Montreal

Description de l'entreprise Vous souhaitez développer vos connaissances et vos compétences ? Rejoignez notre groupe hôtelier et dépassez vos attentes et celles de nos clients. Nous vous encourage [...]

Family Medicine - Westville Medical Clinic

Family Medicine - Westville Medical Clinic

06 Aug
|
Nameless
|
Westville
  • 06 Aug
  • Nameless
  • Westville

Company Description Nova Scotia Health is the largest provider of health services in Nova Scotia, with some specialized services also offered to clients throughout Atlantic Canada. We’re on a missi [...]

Subscribe to this job alert:

Get the latest job offers by email for: remote lean 4 proof engineer for ai math formalization (british columbia) / british columbia