5 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 | 10 days 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 in Ontology-Driven Data Integration for Chemical Engineering Digitalization - DTU Chemical Engineering

Technical University of Denmark | Denmark | 2 months ago

Job Description Are you passionate about ontologies, data integration, or semantic technologies—and ready to apply them in a real-world engineering context? Would you like to help shape the future

Postdoc Position: Edge AI for Goal-Oriented Semantic Communication

Aarhus University | Denmark | 1 day ago

We are seeking highly motivated applicants for a 1-year postdoctoral position (with the possibility of 1-year extension) in the area of Goal-Oriented Semantic Communication and Edge Intelligence

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

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