A cutting-edge AI research firm is hiring a Formal Verification Scientist to translate informal mathematical proofs into formal verifications in Lean. Ideal candidates will hold advanced degrees in mathematics or related fields and possess hands-on experience with proof assistants like Lean. The role emphasizes clarity in proof construction and collaboration on innovative AI research. Enjoy competitive pay, flexibility in remote work, and the opportunity to work on impactful projects in formal verification and AI development.
#J-18808-Ljbffr