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

Technical University of Denmark | Denmark | 3 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 in Models of Quantum Programming Languages (Sapere Aude: DFF-Research Leader Project FunQ)

University of Southern Denmark | Denmark | 20 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