Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
-
Field
-
preferences, your work may focus on the theoretical foundations of queries and mappings in this context (e.g., formal results on fundamental properties of relevant languages) or on developing, implementing, and
-
, DSL/IR design, constrained decoding), integrating formal feedback loops (SAT/SMT/model checking, counterexample- and proof-guided refinement), and developing mechanisms for semantic consistency
-
3. These activities encompass the formalization of working practices and the creation of data corpora designed to be integrated into federated knowledge graphs. The researcher will work on documenting
-
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
-
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
-
Internet, Earth Observation, and Autonomous Transportation. As far as technical enablers are concerned, we leverage expertise on advanced technologies including semantic/task-oriented data processing, signal
-
models to study semantic relationships and changes in language during different periods of conflict collaboration with an interdisciplinary team performing statistical analyses active role in writing
-
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