Sort by
Refine Your Search
-
Category
-
Country
-
Employer
-
Field
-
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
-
on advanced technologies including semantic/task-oriented data processing, signal processing, network resource management to improve the performance of the future wireless communication systems. Finally, due
-
for linking task planning and ontology-based knowledge representation within the framework of the Humfleet project. His role will be to set up a semantic and automated representation of a fleet of heterogeneous
-
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
-
. The postdoctoral scholar will contribute to an NSF-funded project exploring a new semantic foundation for type classes and type families in Haskell. Their work will include formalizing the new approach in Lean
-
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
-
on advanced technologies including semantic/task-oriented data processing, signal processing, network resource management to improve the performance of the future wireless communication systems. Finally, due
-
is to determine how memory mechanisms can be generalised across linguistic domains, from the lexicon through syntax to discourse semantics, and how plausible memory models can predict diverse
-
expertise on advanced technologies including semantic/task-oriented data processing, signal processing, network resource management to improve the performance of the future wireless communication systems
-
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