Alignerr is seeking a Lean 4 Proof Engineer to formalize advanced mathematics into machine-verified Lean code. This remote contract role focuses on precision, structure, and sound argumentation, translating informal proofs into formal scripts and exploring the limits of proof assistants.
You will work with AI researchers to improve verification pipelines and contribute to high-impact formalization projects in a fully remote setting.
#J-18808-Ljbffr
This role, Remote Lean 4 Proof Engineer — Formalization Expert at Alignerr Corp., could be your next move.
Our group is growing, and we are hiring a Remote Lean 4 Proof Engineer — Formalization Expert in Glasgow, Scotland, United Kingdom.
This opening is for the Remote Lean 4 Proof Engineer — Formalization Expert role at Alignerr Corp.
We are seeking a motivated Remote Lean 4 Proof Engineer — Formalization Expert to join Alignerr Corp. in Glasgow, Scotland, United Kingdom.