2 proof-checking-postdoc-computer-science-logic positions at Central China Normal University
-
, Number Theory, Coding & Cryptography, Graph Theory & Combinatorics, Statistics, Artificial Intelligence, Computational & Applied Mathematics, Dynamical Systems & Mathematical Biology. It hosts the Key
-
Collaboration on Quark Matter and Detection Technology (Ministry of Science and Technology, MOST) • Pixel Laboratory at CCNU (PLAC) • Nuclear Science Computer Center at CCNU (NSC3) • Central China Center
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions