About the role
Lean 4 Engineer, Formal Mathematics. Remote AI-training work for professionals in this field, posted on an expert talent network for AI labs.
Experience
Hands-on formal proofs in Lean 4; familiarity with mathlib and tactics; background in proof-based mathematics, theoretical CS or logic; clear written communication
Selection process
Apply on the official platform. The listing does not describe further selection steps.
Eligibility
not specified by source