A leading AI research partner is seeking a skilled candidate to translate informal mathematical proofs into structured formalizations. The role involves collaborating with researchers and improving verification processes in a remote setting. Candidates should have a Master's degree in Mathematics or a related field, with hands-on experience in proof assistants, particularly Lean. The position offers competitive pay, flexible work arrangements, and opportunities for contract extension, ideal for a mathematically adept problem-solver eager to engage with cutting-edge AI models.#J-18808-Ljbffr