3 proof-checking-postdoc-computer-science-logic Postdoctoral positions at XIAN JIAOTONG LIVERPOOL UNIVERSITY (XJTLU) in China
-
Position: Postdoc Location: Suzhou, China Contract Type: Fixed-term, two-year contract About Postdoctoral Programme The postdoctoral programs at XJTLU are jointly run by the XJTLU Technology
-
: Mathematics: Computational Algebra, Algebraic Geometry, Number Theory, Mathematical Optimization Cryptography: Post-Quantum Cryptography, Multi-Party Computation, Zero-Knowledge Proofs, Fully Homomorphic
-
Postdoctoral Programme The postdoctoral programs at XJTLU are jointly run by the XJTLU Technology Transfer Centre Co., Ltd. (XTTC) Postdoctoral Work Station (based at XJTLU) and a cooperating Mobile Station
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions