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
-
the ERC Advanced Grant project Construction in the Formal Sciences (C-FORS) . We seek a candidate who can contribute to Work Package 2: Formal Semantics and to the project as a whole, based on expertise in
-
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
-
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
-
, 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
-
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
-
Analysis of vulnerabilities in low-resource language settings, and the effect of typological diversity on the security landscape in multilingual settings Formal semantic or symbolic methods for monitoring
-
. Comprehensive IT user skills Desirable qualifications are Excellent knowledge in the fields of multimedia systems, digital media technologies, semantic analysis of multimedia content, techniques