Remote Researcher: Lean 4 & Formal Proofs for AI Training (Vancouver)

Remote Researcher: Lean 4 & Formal Proofs for AI Training (Vancouver)

11 Oct
|
Alignerr
|
Vancouver

11 Oct

Alignerr

Vancouver

Alignerr is seeking a Researcher to translate informal mathematical arguments into Lean 4 formalizations, with emphasis on clarity and correctness, remote contract.

You will analyze proofs, test proof assistants, collaborate to improve verification pipelines, and develop readable, reproducible Lean scripts. A strong mathematical background and Lean experience are required.

This adaptable 10–40 hour/week role allows you to shape cutting-edge AI training through formal methods.

📌 Remote Researcher: Lean 4 & Formal Proofs for AI Training (Vancouver)
🏢 Alignerr
📍 Vancouver

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.

Beauty Advisor - Part Time - Park Royal (West Vancouver)

Beauty Advisor - Part Time - Park Royal (West Vancouver)

11 Oct
|
CareerBeacon
|
West Vancouver
  • 11 Oct
  • CareerBeacon
  • West Vancouver

Who You Are: Embark on a serene journey as a Beauty Host with L'Occitane Park Royal. Where your expertise will not only enhance the physical beauty of our customers but also engage their senses in a [...]

Gas fitter (Brampton)

Gas fitter (Brampton)

11 Oct
|
CareerBeacon
|
Brampton
  • 11 Oct
  • CareerBeacon
  • Brampton

Overview - Education: - Experience: Education - College, CEGEP or other non-university certificate or diploma from a program of 1 year to 2 years Work site setting - Confined spaces Work setting - [...]

Subscribe to this job alert:

Get the latest job offers by email for: remote researcher: lean 4 & formal proofs for ai training (vancouver) / vancouver

Machinist (Trenton)

Machinist (Trenton)

11 Oct
|
CareerBeacon
|
Trenton
  • 11 Oct
  • CareerBeacon
  • Trenton

Overview - Work Term: Permanent - Work Language: English - Hours: 40 hours per week - Education: No degree, certificate or diploma - Experience: Experience an asset Work setting - General manufacturi [...]

Day Camp Educator - Contract, Part-Time [S] (Vancouver)

Day Camp Educator - Contract, Part-Time [S] (Vancouver)

11 Oct
|
Leading
|
Vancouver
  • 11 Oct
  • Leading
  • Vancouver

Vancouver Aquarium, one of the many properties owned by Herschend Family Entertainment, prides itself on working towards bringing families closer together and to creating memories worth repeating. Our [...]

Subscribe to this job alert:

Get the latest job offers by email for: remote researcher: lean 4 & formal proofs for ai training (vancouver) / vancouver