Tenure/Tenure Track position at the University of Michigan

Stream: job postings

[Kim Morrison]

(Passing this on for a friend.)

The University of Michigan Mathematics Dept is hiring a tenure-track or tenured position, https://www.mathjobs.org/jobs/list/26859, which is described as for "any area of mathematics or applied mathematics that impact the foundations of artificial intelligence, broadly construed". I've been told that expertise in Lean formalisation would be advantageous.