Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
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
-
project teams. Comprehensive IT user skills Desirable qualifications are Excellent knowledge in the fields of multimedia systems, digital media technologies, semantic analysis of multimedia content
-
Competitiveness and Internationalisation (COMPETE 2020). Work Plan and Objectives to Reach – The work to be carried out will consist of researching and developing the Semantic Data Models component in order to
-
of formally verified compiler infrastructure at the intersection of MLIR and Lean4. We aim to bring formally verified compilation into the day-to-day use of the LLVM/MLIR compiler ecosystem. In this context, we
-
question parsing pipeline using NLP and formal semantic representations; investigate Large Language Models (LLMs) as well as symbolic AI for question parsing; evaluate models based on a gold standard of geo
-
, and the effect of typological diversity on the security landscape in multilingual settings Formal semantic or symbolic methods for monitoring, evaluating, and improving LLM robustness, e.g. building
-
automated repair for Infrastructure as Code (IaC) that supports multiple technologies and provides formal correctness guarantees. The selected candidate will: 1) Contribute to the creation of software tools
-
of the following: static and/or dynamic program analysis, programming language techniques (such as semantics, type systems, runtime systems, etc), formal verification, or software engineering
-
out to develop skull implantable stimulation hubs forming a communication network for 3D targeting by self-organization, providing semantic information transfer and synchronization, and thus enabling
-
well as resolving issues during data filtering and processing. Liaison with IT and management personnel from the different hospitals. Coordination of tasks related to the semantic model (OMOP, FHIR, etc.) and