Sort by
Refine Your Search
-
Category
-
Country
-
Program
-
Employer
- University of Groningen
- Nature Careers
- Technical University of Denmark
- University of Oslo
- CEA
- CNRS
- Institute of Computer Science of the Czech Academy of Sciences
- University of Bergen
- ; University of Leeds
- Aarhus University
- Aoyama Gakuin University
- California State University, Fullerton
- ETH Zurich
- Framingham State University
- Ghent University
- Grenoble INP - Institute of Engineering
- Harvard University
- Imperial College London
- Inria, the French national research institute for the digital sciences
- Johannes Kepler University Linz
- Klagenfurt University
- NIST
- New York University
- Technische Universität München
- Universitat pompeu fabra
- University of Glasgow
- University of Luxembourg
- University of Twente
- University of Vienna
- Universität Wien
- Université de Lorraine
- 21 more »
- « less
-
Field
-
), itself developed by Son Ho during his Phd at INRIA. This will require to formalize in the Coq/Rocq proof assistant the different semantics proposed for LLBC in Son Ho's manuscript. And ultimately
-
responsible for research regarding how depicting classifier signs become part of the conventionalized lexicon of sign languages, focusing on work related to Dr. Kathryn Davidson’s project on formal 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
-
Domaine Mathématiques, information scientifique, logiciel Contrat Post-doctorat Intitulé de l'offre Cybersecurity formal analysis of fault-injection attacks in hardware/software embedded systems
-
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
-
obtain, a PhD in Computer Science or a closely related field, with a strong background in at least one of the following areas: Formal Semantics, Compilers, Computer Architecture, Specification and
-
of model federations to explore decarbonisation scenarios for Singapore. Your work will enable formally representing semantic domain knowledge, making it interoperable, and developing cross-domain features
-
are expected to have a strong background in semantics, type theory, Coq formalization; in particular, working knowledge of the Iris higher-order concurrent separation logic framework, and preferably also recent
-
Domaine Mathématiques, information scientifique, logiciel Contrat Post-doctorat Intitulé de l'offre Security Contract Semantics for Fault-Injection Attacks in Embedded Systems H/F Sujet de stage
-
approaches to the analysis, verification, diagnosis, repair, or synthesis of programs · Semantics of programming languages Teaching responsibilities include participation in theoretical education in the study