Sort by
Refine Your Search
-
Country
-
Employer
-
Field
-
with a strong emphasis on high impact research and societal relevance. This position will be supervised by Professor Qi Zhang, whose research focuses on Edge Intelligence, Goal-oriented Semantic
-
experience and competencies expected include at least one of the following areas: Data modelling, ontology development, and semantic technologies. Open data standards and linked data, e.g. buildingSMART and
-
Learning, quantum computing, QKD - quantum key distribution, entanglement distribution System-level design and optimization AI & Intelligence: Agentic AI, Edge AI, information semantics, e.g. for earth
-
. 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