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,