Remote Researcher: Lean 4 & Formal Proofs For Ai Training Vancouver

Remote Researcher: Lean 4 & Formal Proofs For Ai Training Vancouver

13 Oct
|
Alignerr
|
Vancouver

13 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 solid 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.
J-18808-Ljbffr

📌 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.

Shop Administrator (Calgary)

Shop Administrator (Calgary)

13 Oct
|
Recognized
|
Calgary
  • 13 Oct
  • Recognized
  • Calgary

Description Charger logistics Inc. is a world- class asset-based carrier with locations across North America. With over 20 years of experience providing the best logistics solutions, Charger logist [...]

Intermediate Site Superintendent (Construction) (Mississauga)

Intermediate Site Superintendent (Construction) (Mississauga)

13 Oct
|
Recognized
|
Mississauga
  • 13 Oct
  • Recognized
  • Mississauga

Description Intermediate Superintendent (Construction) Maple Reinders is currently looking to add a Construction Superintendent to our team based out of Mississauga, Ontario. Projects may be locat [...]

Subscribe to this job alert:

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

Sales Manager (Remote) (Canada)

Sales Manager (Remote) (Canada)

13 Oct
|
Important Business
|
Canada
  • 13 Oct
  • Important Business
  • Canada

Description Location: Remote, Canada (Travel Required) Department: Business Development Reports To: Business Development Leadership Compensation: $70,000 - $75,000 Base Salary + Commission On-T [...]

Chef(fe) de produit, plateforme de données et plateforme dIA (Montreal)

Chef(fe) de produit, plateforme de données et plateforme dIA (Montreal)

13 Oct
|
Important Business
|
Montreal
  • 13 Oct
  • Important Business
  • Montreal

Description Nous sommes à la recherche d’un(e) chef(fe) de produit, plateforme de données et plateforme d’IA pour définir la stratégie et piloter la livraison de capacités de nouvelle gén [...]

Subscribe to this job alert:

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