Sort by
Refine Your Search
-
Listed
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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, implementing
-
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