Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Technical University of Munich
- University of North Carolina at Chapel Hill
- Aarhus University
- Lulea University of Technology
- AALTO UNIVERSITY
- CNRS
- European Space Agency
- Leibniz
- Luleå University of Technology
- NEW YORK UNIVERSITY ABU DHABI
- Nature Careers
- Technical University of Denmark
- The University of Iowa
- The University of Memphis
- University of Antwerp
- University of Central Florida
- University of Colorado
- University of Groningen
- University of Lund
- University of Luxembourg
- University of Oxford
- Vrije Universiteit Brussel
- 12 more »
- « less
-
Field
-
Research Assistant on Session Types: Theory and Programming Semantics Fixed-term until 30 September 2026 to start from 1 October 2025 Grade 06: £34,982-£40,855 per annum inclusive of Oxford
-
Grant and coordinated by the Principal Investigator (PI), Dr Federico Pianzola. This is an interdisciplinary project at the intersection of NLP, Digital Humanities, and Semantic Web technology. Millions
-
We are seeking highly motivated applicants for a 1-year postdoctoral position (with the possibility of 1-year extension) in the area of Goal-Oriented Semantic Communication and Edge Intelligence
-
Job Description Are you passionate about ontologies, data integration, or semantic technologies—and ready to apply them in a real-world engineering context? Would you like to help shape the future
-
scholar 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
-
have to propose mechanisms that are as generic and adaptive as possible, i.e., mechanisms that do not require precise knowledge of the semantics of the hosted application and that adapt to its load
-
, including those involving deformable objects and uncertain conditions.. Semantic Navigation & Mapping – Designing solutions for robot navigation, for Mobile Manipulators, that integrate environmental
-
Scene Synthesis: Re-design diffusion and NeRF-style models so multiple agents jointly reconstruct a scene. Cooperative Scene Understanding: Re-design semantic segmentation and object-detection models in a
-
for relaxed memory models; guarded cubical type theory; and Rocq formalizations. Tasks and Qualifications Applicants are expected to have a strong background in semantics, type theory, and Rocq formalization
-
semantic analysis) to detect and categorise accusations of political disinformation in large corpora of parliamentary debates across 20 democracies. You will build a relational dataset that systematically