Sort by
Refine Your Search
-
Language Semantics. This is a unique opportunity to contribute to the foundations for tomorrow’s machine learning. Your job The FoRECAST project aims to develop theory (e.g., categorical semantics and
-
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
-
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
-
. This is a unique opportunity to contribute to the foundations for tomorrow’s machine learning. Your job The FoRECAST project aims to develop theory (e.g., categorical semantics and denotational correctness
-
, workshops, internal seminars Participate in the activities of relevant research groups (e.g., Language Diversity and Semantics and Cognition) and the Center for Language and Cognition more broadly Complete
-
Diversity and Semantics and Cognition) and the Center for Language and Cognition more broadly Complete the PhD in the specified timeframe (4 years) Teach in the 2nd, 3rd and 4th year of the project Move
-
-Performance Computing. This is a unique opportunity to contribute to the foundations for tomorrow’s machine learning. Your job The FoRECAST project aims to develop theory (e.g., categorical semantics and
-
Differential Algorithms. This is a unique opportunity to contribute to the foundations for tomorrow’s machine learning. Your job The FoRECAST project aims to develop theory (e.g., categorical semantics and
-
, 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