Remote Researcher: Lean 4 & Formal Proofs For Ai Training Riviere Des Prairies—pointe Aux Trembles (Riviere-des-Prairies—Pointe-aux-Trembles)

Remote Researcher: Lean 4 & Formal Proofs For Ai Training Riviere Des Prairies—pointe Aux Trembles (Riviere-des-Prairies—Pointe-aux-Trembles)

15 Oct
|
Alignerr
|
Riviere-des-Prairies—Pointe-aux-Trembles

15 Oct

Alignerr

Riviere-des-Prairies—Pointe-aux-Trembles

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 robust 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 Riviere Des Prairies—pointe Aux Trembles (Riviere-des-Prairies—Pointe-aux-Trembles)
🏢 Alignerr
📍 Riviere-des-Prairies—Pointe-aux-Trembles

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.

Conseiller spécialiste en gestion des postes de travail (Quebec City)

Conseiller spécialiste en gestion des postes de travail (Quebec City)

15 Oct
|
Important Company of the Sector
|
Quebec City
  • 15 Oct
  • Important Company of the Sector
  • Quebec City

Description TEHORA est présentement à la recherche d’un conseiller spécialiste en gestion des postes de travail possédant une solide expertise de l’écosystème Microsoft et de la gestion m [...]

Territory Manager Eastern Division (Laval)

Territory Manager Eastern Division (Laval)

15 Oct
|
Important Group
|
Laval
  • 15 Oct
  • Important Group
  • Laval

Requisition ID: 73014 About Whirlpool Corporation Whirlpool Corporation (NYSE: WHR) is a leading home appliance company, in constant pursuit of improving life at home. As the only major U.S.-base [...]

Subscribe to this job alert:

Get the latest job offers by email for: remote researcher: lean 4 & formal proofs for ai training riviere des prairies—pointe aux trembles (riviere-des-prairies—pointe-aux-trembles) / riviere-des-prairies—pointe-aux-trembles

Finance Expert - Technical Accounting (Toronto)

Finance Expert - Technical Accounting (Toronto)

15 Oct
|
Important Company of the Sector
|
Toronto
  • 15 Oct
  • Important Company of the Sector
  • Toronto

About the job Mercor connects elite creative and technical talent with leading AI research labs. Headquartered in San Francisco, our investors include Benchmark, General Catalyst, Peter Thiel, Adam D [...]

Stage Experience Lead - Full Time (Thunder Bay)

Stage Experience Lead - Full Time (Thunder Bay)

15 Oct
|
Recognized
|
Thunder Bay
  • 15 Oct
  • Recognized
  • Thunder Bay

Job ID: 296320 Store Name/Number: ON-Thunder Bay (0870) Address: 1000 Fort William Road, Suite A1A, Box 6, Thunder Bay, ON P7B 6B9, Canada (CA) Full Time/Part Time: Full Time Position Type: Re [...]

Subscribe to this job alert:

Get the latest job offers by email for: remote researcher: lean 4 & formal proofs for ai training riviere des prairies—pointe aux trembles (riviere-des-prairies—pointe-aux-trembles) / riviere-des-prairies—pointe-aux-trembles