Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
steps between natural language texts and formalized proof documents, and automation tools for the efficient construction of definitions, theorems, and proofs. Where to apply Website https://emploi.cnrs.fr
-
. Comprehensive IT user skills Desirable qualifications are Excellent knowledge in the fields of multimedia systems, digital media technologies, semantic analysis of multimedia content, techniques
-
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
-
the scientific and research profile of the Department of Contemporary Polish Language, which covers the following topics: 1) grammar, semantics and vocabulary of contemporary Polish in the context of various
-
Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Scienc...
broadly construed, e.g., functional programming, quantum programming, semantics, type theory, effect systems, formal verification, static analysis, reactive, concurrent, and parallel programming, compilers
-
to establish a blueprint for trustworthy, semantically-aware data visiting infrastructures that can support advanced analytics and AI in healthcare. Where to apply Website https://www.academictransfer.com/en
-
. Comprehensive IT user skills Desirable qualifications are Excellent knowledge in the fields of multimedia systems, digital media technologies, semantic analysis of multimedia content, techniques
-
application within SLAM for generating geolocalized 3D maps. A strong background in semantic segmentation, AI/ML-based perception, and real-time scene understanding for outdoor environments is required. Prior
-
for one research grant Refª BI|2025/806 Project BLOCKCHAIN – refª C632734434-00467077 Blockchain Interoperability Security Developer funded by Recovery and Resilience Plan (RRP) https
-
, documentation generators) through research, teaching or hobby projects. You have some background in formal aspects of programming language theory, such as operational semantics, type systems, or program logics