Sort by
Refine Your Search
-
Apply now The Faculty of Science and the Leiden Institute of Advanced Computer Science (LIACS) is looking for a: PhD Candidate on Expressivity of Imperative Programs (1.0 FTE) The semantics
-
Laia Mayol (Associate Professor, UPF). Their area of specialisation will be formal semantics and pragmatics, and they will seek to develop skills in experimental methods. The PhD contract is fully funded
-
Coexistence, Tactile Internet, Earth Observation, and Autonomous Transportation. As far as technical enablers are concerned, we leverage expertise on advanced technologies including semantic/task-oriented data
-
approach is to apply foundational techniques grounded in logic, semantics, and verification. This work takes place within the CYCLIC project: Cyclic Structures in Programs and Proofs, a collaboration among
-
promoted by associate professor Emar Maier. The PhD Project: “Don’t call me by your name” Address forms vary cross-linguistically, though a tendency to use alternative forms in so-called ‘formal’ versus
-
” Address forms vary cross-linguistically, though a tendency to use alternative forms in so-called ‘formal’ versus ‘informal’ address is widely attested. In many European languages, for instance, a
-
, or relevant areas of social epistemology, pragmatics, or philosophy of language. Have familiarity and affinity with multimodal communication. Have familiarity and affinity with formal semantics and/or semiotics
-
. Have familiarity and affinity with formal semantics and/or semiotics. Have a background in philosophy with a clear interest in linguistics and argumentation, or a background in linguistics with a clear