Alignerr is seeking Applied Formal Methods Researchers to work remotely on advanced mathematical proofs in Lean 4. This flexible contract role is tailored for mathematicians who excel in precision and structural elegance.
You will translate informal proofs into formal systems, analyze mathematical structures, and collaborate with AI researchers to improve formal verification pipelines. A Master's degree in a relevant field and experience with Lean are essential.
#J-18808-Ljbffr