Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- Nature Careers
- INESC ID
- University of Amsterdam (UvA)
- University of Bologna
- Aarhus University
- The University of Iowa
- University of Birmingham
- University of Texas at Austin
- Aalborg University
- CNRS
- Centro de Computação Grafica
- GSMA;
- Harvard University
- Idiap Research Institute
- Inria, the French national research institute for the digital sciences
- Jagiellonian University
- NIST
- OsloMet
- Technical University of Denmark
- UNIVERSIDAD DE LAS PALMAS DE GRAN CANARIA
- UNIVERSITY OF VIENNA
- University of Bergen
- University of Glasgow
- University of Luxembourg
- University of Toronto
- University of Twente (UT)
- University of Vienna
- Università degli Studi Firenze
- Uppsala universitet
- Utrecht University
- 20 more »
- « less
-
Field
-
on the development of formal models and computational tools for the structured representation of knowledge and for automated reasoning over data originating from heterogeneous sources, with particular attention
-
expected to be an AI expert, but have a strong interest in applied mathematics with at least basic programming competency. You will be working for a world-class team working on Applied Semantics. This is a
-
of empowering citizens for the use of such technology. This work will be developed with the support of the interplay of Semantic Technologies (e.g., ontologies, knowledge graphs) and Artificial Intelligence
-
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
-
Inria, the French national research institute for the digital sciences | Villers les Nancy, Lorraine | France | 5 days ago
entities in distributed data systems. The project will pursue three main objectives: Formalizing replicated hybrid views. Define a declarative and semantic foundation for views that unify relational and
-
Programming and Reasoning (HOMBRe)," which explores foundational aspects of program semantics and verification. A central focus of the project is the treatment of computational effects via monads and their
-
University of Toronto | Downtown Toronto University of Toronto Harbord, Ontario | Canada | 6 days ago
Date Posted: 04/10/2026 Req ID: 47629 Faculty/Division: UofT Mississauga Department: UTM: Philosophy Campus: University of Toronto Mississauga (UTM) Description: An introduction to formal deductive
-
will contribute to an NSF-funded project exploring a new semantic foundation for type classes and type families in Haskell. Their work will include formalizing the new approach in Lean, implementing it
-
Job related to staff position within a Research Infrastructure? No Offer Description Are you looking for a PhD position at the intersection of logic, philosophy and semantics? Would you like to be part
-
the role of Research Fellow on the EPSRC Grant Semantics-Directed Compiler Construction: From Formal Semantics to Certified Compilers, at the University of Birmingham (a joint project with Prof. Graham