A leading AI research partner is seeking a Formal Verification Scientist to translate mathematical proofs into Lean for innovative AI projects. The role demands expertise in formal verification and proof languages like Lean, with responsibilities including analyzing proofs and collaborating on improvement strategies. Join a team at the forefront of mechanized mathematics, enjoying competitive pay and flexible remote work opportunities.
#J-18808-Ljbffr