3 proof-checking-postdoc-computer-science-logic positions at Central China Normal University
-
university provides a competitive salary and subsidizes a fully furnished apartment for each postdoc. Competitive support and funding for research and travel will be provided as well. We will also sponsor
-
& Cryptography, Graph Theory & Combinatorics, Statistics, Artificial Intelligence, Computational & Applied Mathematics, Dynamical Systems & Mathematical Biology. It hosts the Key Laboratory of Nonlinear Analysis
-
at CCNU (PLAC) • Nuclear Science Computer Center at CCNU (NSC3) • Central China Center for Nuclear Theory (C3NT) History: The IOPP traces its origins to the Elementary Particle Physics Group within
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions