2 formal-semantics Postdoctoral research jobs in Denmark

Postdoc Position in Models of Quantum Programming Languages (Sapere Aude: DFF-Research Leader Pro...

Nature Careers | Odense C, Region Syddanmark | Denmark | about 2 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

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

University of Southern Denmark | Denmark | about 1 month 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