Alignerr is seeking Mathematics Experts to enhance the mathematical reasoning of advanced AI models. Candidates should have a Master’s or PhD in Mathematics and expertise in algebra, calculus, or statistics. The role involves developing mathematical problems, evaluating
Alignerr is seeking a Researcher in Lean 4 and Formal Proof Systems to work remotely. This role involves translating informal mathematical proofs into machine-verifiable Lean 4 formalizations and analyzing proofs across domains such as algebra and logic.
Alignerr seeks a Mathematics expert to develop and review advanced mathematical problems, particularly in AI contexts. The role demands a Masters or PhD in Mathematics and expertise in fields like algebra, calculus, and statistics. You will work