Researcher - Lean 4 & Formal Proof Systems at Alignerr — myjobb AI