A cutting-edge AI research company is seeking a Formal Verification Scientist to write and formalize advanced mathematical proofs using Lean. This remote position offers competitive pay and is ideal for individuals passionate about formal verification. Responsibilities include translating informal proofs into Lean and analyzing proof structures, while qualifications require a Master's degree in a relevant field and experience in proof writing. Candidates will thrive in a collaborative environment where innovation is encouraged. #J-18808-Ljbffr