-
others, developing tools to support the creation of the data, and supporting the Math+AI laboratory. We are particularly interested in candidates with experience in Lean or other proof assistant languages
-
contributed by others, developing tools to support the creation of the data, and supporting the Math+AI laboratory. We are particularly interested in candidates with experience in Lean or other proof assistant
-
expertise with game theory is a plus but not required. Ideally this person would have a Ph.D. in operations research, computer science, applied math or a related field. The focus of this person’s research
Searches related to math
Enter an email to receive alerts for math positions in postdoctoral