Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- Aarhus University
- The University of Iowa
- University of Birmingham
- University of Glasgow
- University of Oslo
- University of Tübingen
- Utrecht University
- Villanova University
- ; University of Cambridge
- CNRS
- Centro de Computação Grafica
- Framingham State University
- Grand Canyon University
- Johns Hopkins University
- NIST
- Nature Careers
- Technical University of Denmark
- Universidad de Alicante
- University of Leicester
- University of Manchester
- University of Oxford
- University of Toronto
- 12 more »
- « less
-
Field
-
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
-
, Ontology engineering, Computational geoscience, or a related field; a strong interest in conceptual modeling, semantic modelling, ontology engineering, formal logics or cognitive modelling, and some
-
developing the Semantic Data Models component in order to implement ontologies: • Specification of information models; • Specification of semantic models; • Mapping of Ontology using graph database
-
; develop a hybrid question parsing pipeline using NLP and formal semantic representations; investigate Large Language Models (LLMs) as well as symbolic AI for question parsing; evaluate models based on a
-
, including 44 permanent staff. The team studies the organization, representation and distributed processing of knowledge, as well as its extraction from data and its semantic formalization, with a particular
-
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
-
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
-
becoming standard practice. However, achieving formal assurance of software correctness remains a complex challenge. Seminal work in programming language semantics provides powerful frameworks
-
semantic mismatch between the formal guarantees produced by neural network verification tools and the actual implementation of neural networks at the hardware level. Specifically, hardware-level effects