Sort by
Refine Your Search
-
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
-
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
-
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
-
. student will be part of the Cosynus team in the “Proofs and Algorithms” pole. The members of the Cosynus team work on the semantics and static analysis of software systems, sequential, concurrent
-
Inria, the French national research institute for the digital sciences | Villeneuve la Garenne, le de France | France | 3 months ago
history and semantics of code changes for the understanding of attacks. Prototypes will be developed in the Pharo language. For a better knowledge of the proposed research subject : A state of the art