Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- Nature Careers
- INESC ID
- University of Amsterdam (UvA)
- University of Bologna
- Aarhus University
- The University of Iowa
- University of Birmingham
- University of Texas at Austin
- Aalborg University
- CNRS
- Centro de Computação Grafica
- GSMA;
- Harvard University
- Idiap Research Institute
- Inria, the French national research institute for the digital sciences
- Jagiellonian University
- NIST
- OsloMet
- Technical University of Denmark
- The University of Arizona
- UNIVERSIDAD DE LAS PALMAS DE GRAN CANARIA
- UNIVERSITY OF VIENNA
- University of Bergen
- University of Glasgow
- University of Luxembourg
- University of Toronto
- University of Twente (UT)
- University of Vienna
- Università degli Studi Firenze
- Uppsala universitet
- Utrecht University
- 21 more »
- « less
-
Field
-
the role of Research Fellow on the EPSRC Grant Semantics-Directed Compiler Construction: From Formal Semantics to Certified Compilers, at the University of Birmingham (a joint project with Prof. Graham
-
Job related to staff position within a Research Infrastructure? No Offer Description Are you looking for a postdoc position at the intersection of logic, philosophy and semantics? Would you like to be
-
methods such as formal grammars, logic-based semantic representations, and knowledge graphs to improve the representation of knowledge, the evaluation of AI systems, and classification of documents and
-
learning, deep learning, and LLM-based methods to multimodal clinical datasets e.g. EHR, imaging, omics, sensor data Designing and implementing NLP pipelines for clinical text processing, semantic annotation
-
, is looking to fill one four-year postdoc position on the philosophy, semantics and logic of provability talk. GOOD INTENSIONS is a research project funded by a European Research Council (ERC) Advanced
-
of Communication Theory, which covers the following topics: 1) pragmatics and semantics of the Polish language, 2) multimodality in human communication, 3) the relationship between linguistic communication and other
-
knowledge in the fields of multimedia systems, digital media technologies, semantic analysis of multimedia content, techniques for the detection of misinformation including AI methods and their application
-
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
-
media technologies, semantic analysis of multimedia content, techniques for the detection of misinformation including AI methods and their application, user interface, and feedback systems, various
-
, DSL/IR design, constrained decoding), integrating formal feedback loops (SAT/SMT/model checking, counterexample- and proof-guided refinement), and developing mechanisms for semantic consistency