-
Postdoc Position in Models of Quantum Programming Languages (Sapere Aude: DFF-Research Leader Pro...
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
-
Coexistence, Tactile Internet, Earth Observation, and Autonomous Transportation. As far as technical enablers are concerned, we leverage expertise on advanced technologies including semantic/task-oriented data
Searches related to formal semantics
Enter an email to receive alerts for formal-semantics positions