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 transparent, 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
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.