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

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

08 Sep
|
Alignerr
|
Vancouver

08 Sep

Alignerr

Vancouver

Seeking a mathematician with expertise in formal proof languages like Lean to translate complex mathematical arguments into machine-verifiable formalizations for AI research.

📌 Lean 4 Proof Engineer - Mathematical Formalization - $70 - $150 An Hour - Remote (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.

Subscribe to this job alert:

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

Subscribe to this job alert:

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