Company: Expert talent network

Lean 4 Engineer, Formal Mathematics

Lean 4 Engineer, Formal Mathematics. Remote AI-training work for professionals in this field, posted on an expert talent network for AI labs.

​