Sort by
Refine Your Search
-
Category
-
Country
-
Program
-
Employer
- Nature Careers
- INESC ID
- University of Bologna
- University of Texas at Austin
- Aarhus University
- CNRS
- Centro de Computação Grafica
- Ecole Nationale de l'Aviation Civile
- Harvard University
- Idiap Research Institute
- SWPS University
- The University of Iowa
- UNIVERSIDAD DE LAS PALMAS DE GRAN CANARIA
- Uniklinik Freiburg
- Universidade da Madeira
- University of Southern Denmark
- University of Warsaw
- Uppsala universitet
- 8 more »
- « less
-
Field
-
in linguistics, with a focus on teaching and advising in formal semantics. The ability to teach and advise students in another area in addition to semantics is a plus. The lecturer will be responsible
-
in lexical‑semantic interface studies within both functional and formal linguistic models. These lines of inquiry address topics such as second‑language acquisition processes, pedagogical applications
-
, DSL/IR design, constrained decoding), integrating formal feedback loops (SAT/SMT/model checking, counterexample- and proof-guided refinement), and developing mechanisms for semantic consistency
-
for the development of critical systems. However, there has not yet been a lot of effort in formalizing these languages, their semantics or their execution model. The goal of this research project is to
-
to staff position within a Research Infrastructure? No Offer Description This is a call for expressions of interest. The formal selection process will be carried out by a selection committee at the
-
3. These activities encompass the formalization of working practices and the creation of data corpora designed to be integrated into federated knowledge graphs. The researcher will work on documenting
-
to staff position within a Research Infrastructure? No Offer Description This is a call for expressions of interest. The formal selection process will be carried out by a selection committee at the
-
Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description Are you interested in working in formal verification and programming
-
, developing, and maintaining enterprise analytics and reporting solutions with a strong emphasis on Power BI semantic modeling, advanced DAX, and SQL-based analysis. This role supports university leadership by
-
to staff position within a Research Infrastructure? No Offer Description This is a call for expressions of interest. The formal selection process will be carried out by a selection committee at the