Sort by
Refine Your Search
-
Category
-
Program
-
Employer
-
Field
-
. Empirical work may be complemented with additional data collection and causal designs (e.g., online experiments), as well as relevant methods (e.g., big data, panel analysis, semantic analysis, simulation
-
The Department of Electronic Systems at The Technical Faculty of IT and Design invites applications for a PhD stipend in the field of Object-oriented edge-casting using semantic encoding within
-
At the Technical Faculty of IT and Design, Department of Computer Science, a 2-year Postdoc position in theories for programming semantics, methods for verification and reliability assurance
-
At the Technical Faculty of IT and Design, Departmentof Computer Science, one PhD stipend intheories for programming semantics, methods for verification and reliability assurance of combined
-
Faculty of IT and Design, Department of Computer Science, a 2-year Postdoc position in theories for programming semantics, methods for verification and reliability assurance of combined classical and
-
to the user, which pictures to show? A third possible topic is performance improvement of using a graph-based analysis and/or infrastructure. Typical RAG systems use a semantic search based on embeddings. NEO
-
, 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
-
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
-
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
-
broadly construed , e.g., functional programming, quantum programming, semantics, type theory, effect systems, formal verification, static analysis, reactive, concurrent, and parallel programming, compilers