NetherlandsFully Funded
PhD Position in Formal Methods for Concurrent Cryptographic Protocols
Vrije Universiteit Amsterdam (VU) · Netherlands
Theoretical Computer Science
Due Oct 30 · 16d
Theoretical computer science PhD positions
5 catalogue listings · verify admissions with the source
Denmark
PhD Position in Reversible Programming Languages (MSCA Doctoral Network E-CoRe)
University of Copenhagen · Denmark
Theoretical Computer Science
Due Nov 1 · 19d
EstoniaFully Funded
Universal Properties in Double Category Theory
Tallinn University of Technology · Estonia
Theoretical Computer Science
Due Nov 10 · 28d
France
PhD Researcher in Fault-Tolerant Quantum Graphical Reasoning
Inria · France
Quantum Computing and Theoretical Computer Science
Due Oct 28 · 15d
SwedenFully Funded
PhD Position in Scalable Quantum Program Verification
Uppsala University · Sweden
Theoretical Computer Science
Due Nov 15 · 32d