Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
to staff position within a Research Infrastructure? No Offer Description This is a call for expressions of interest. The formal selection process will be carried out by a selection committee at the
-
to staff position within a Research Infrastructure? No Offer Description This is a call for expressions of interest. The formal selection process will be carried out by a selection committee at the
-
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
-
, DSL/IR design, constrained decoding), integrating formal feedback loops (SAT/SMT/model checking, counterexample- and proof-guided refinement), and developing mechanisms for semantic consistency
-
for the development of critical systems. However, there has not yet been a lot of effort in formalizing these languages, their semantics or their execution model. The goal of this research project is to
-
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
-
to staff position within a Research Infrastructure? No Offer Description This is a call for expressions of interest. The formal selection process will be carried out by a selection committee at the
-
, developing, and maintaining enterprise analytics and reporting solutions with a strong emphasis on Power BI semantic modeling, advanced DAX, and SQL-based analysis. This role supports university leadership by
-
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
-
on spatial reasoning, semantic technologies and AI for geosciences. Where to apply Website https://www.academictransfer.com/en/jobs/356999/phd-semantic-modelling-of-geoda… Requirements Specific Requirements A