3 semantic Postdoctoral positions in Denmark

PostDoc in programming semantics, verification and reliability assurance of combined classical and quantum communicating and computing systems.(DEIS)

Aalborg Universitet | Denmark | about 2 months ago

Faculty of IT and Design, Department of Computer Science, a 2-year Postdoc position in theories for programming semantics, methods for verification and reliability assurance of combined classical and

PostDoc in programming semantics, verification and reliability assurance of combined classical and quantum communicating and computing systems.(DEIS)

Aalborg University | Denmark | 24 days ago

At the Technical Faculty of IT and Design, Department of Computer Science, a 2-year Postdoc position in theories for programming semantics, methods for verification and reliability assurance

Postdoc Position in Models of Quantum Programming Languages (Sapere Aude: DFF-Research Leader Project FunQ)

University of Southern Denmark | Denmark | 3 months ago

or quantum information science, and demonstrated research experience in quantum computing and at least one of the following areas: Formal semantics of programming languages. Logic in computer science. Category