A cutting-edge AI research company is seeking a Researcher specializing in Lean 4 and formal proof systems. This remote role involves writing and formalizing mathematical proofs to advance AI research. Ideal candidates will have a masters degree in mathematics or a related field, strong proof-writing skills, and hands-on experience with Lean or similar systems. The position offers competitive pay and flexible working hours while collaborating with a team on pioneering AI projects.
J-18808-Ljbffr