Lean 4 Proof Engineer - Mathematical Formalization - $70 - $150 An Hour - Remote (Toronto)

Lean 4 Proof Engineer - Mathematical Formalization - $70 - $150 An Hour - Remote (Toronto)

04 Sep
|
Alignerr
|
Toronto

04 Sep

Alignerr

Toronto

Seeking mathematicians with formal proof language experience, especially Lean, to formalize advanced mathematical proofs for AI research and improve verification pipelines.

📌 Lean 4 Proof Engineer - Mathematical Formalization - $70 - $150 An Hour - Remote (Toronto)
🏢 Alignerr
📍 Toronto

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.

Subscribe to this job alert:

Get the latest job offers by email for: lean 4 proof engineer - mathematical formalization - $70 - $150 an hour - remote (toronto) / toronto

Subscribe to this job alert:

Get the latest job offers by email for: lean 4 proof engineer - mathematical formalization - $70 - $150 an hour - remote (toronto) / toronto