3 formal-semantics Postdoctoral positions 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

Postdoc and PhD positions to the Center for Basic Research in Program Verification (CPV) at Department of Computer Science, Aarhus University

Aarhus University | Denmark | 3 months ago

for relaxed memory models; guarded cubical type theory; and Rocq formalizations. Tasks and Qualifications Applicants are expected to have a strong background in semantics, type theory, and Rocq formalization