2 applied-math "Mathjobs.org" Postdoctoral positions

Filters Search

Sort by

Refine Your Search

  • Cornell University | York New Salem, Pennsylvania | United States | 7 days ago

    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

  • Cornell University | New York City, New York | United States | about 1 month ago

    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

Searches related to applied math

Enter an email to receive alerts for applied-math "Mathjobs.org" positions