4 proof-checking-postdoc-computer-science-logic positions at HETAO INSTITUTE OF MATHEMATICS AND INTERDISCIPLINARY SCIENCES
-
省 518000, China [map ] Subject Areas: All fields of mathematics, theoretical physics, computer science, and their applications Appl Deadline: (posted 2025/11/14, listed until 2026/05/14) Position
-
] Subject Areas: All fields of mathematics, theoretical physics, computer science, and their applications Appl Deadline: (posted 2025/11/14, listed until 2026/11/14) Position Description: Apply Position
-
, China [map ] Subject Areas: All fields of mathematics, theoretical physics, computer science, and their applications Appl Deadline: (posted 2025/11/14, listed until 2026/11/14) Position Description: Apply
-
518000, China [map ] Subject Areas: All fields of mathematics, theoretical physics, computer science, and their applications Appl Deadline: (posted 2025/11/14, listed until 2026/11/14) Position Description