Applied Formal Methods Researcher (Lean 4) at Alignerr — myjobb AI