Alignerr is seeking a Lean 4 Proof Engineer to formalize mathematical proofs for AI training. This fully remote role offers the opportunity to work on cutting-edge research in mechanized mathematics. Ideal candidates possess a Master's degree in Mathematics and hands-on experience with formal proof systems. Responsibilities include translating proofs into Lean and collaborating with researchers. The position offers freelance autonomy and the chance for ongoing work on challenging mathematical problems.
#J-18808-Ljbffr