14 Oct
|
Alignerr
|
Quebec City
14 Oct
Alignerr
Quebec City
Alignerr Corp. seeks a Mathematical Formalization Specialist to translate complex proofs into Lean and related systems, ensuring rigor, correctness, and machine verifiability. You will work with researchers to identify gaps and push the boundaries of current proof assistants.
The role emphasizes formal proof construction, collaboration across domains, and clear, reproducible proof scripts to advance AI reasoning and verification pipelines. Fully remote, hourly contract with versatile commitment.
#J-18808-Ljbffr
📌 Lean Formalization Specialist - Remote Contract (Quebec City)
🏢 Alignerr
📍 Quebec City