Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- University of Birmingham
- University of Glasgow
- University of Oslo
- University of Tübingen
- Utrecht University
- Villanova University
- ; University of Cambridge
- Aarhus University
- Framingham State University
- Grand Canyon University
- Johns Hopkins University
- NIST
- Nature Careers
- Technical University of Denmark
- The University of Iowa
- University of Leicester
- University of Manchester
- University of Oxford
- University of Toronto
- 9 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
-
, 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
-
; 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
-
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
-
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
-
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
-
candidate for this position holds an MA/MSc-degree or equivalent with a focus on Linguistics, and above-average qualifications, has strong familiarity with formal semantics and pragmatics, and excellent
-
Prolog and Java/JavaScript. Knowledge of Semantic Web technologies (e.g., RDF, OWL, SHACL, SPARQL).Desirable Skills Familiarity with argumentation theory (e.g., ASPIC+, Dung's frameworks). Prior experience
-
University of Toronto | Downtown Toronto University of Toronto Harbord, Ontario | Canada | 25 days ago
Date Posted: 07/18/2025 Req ID: 44354 Faculty/Division: UofT Mississauga Department: UTM: Philosophy Campus: University of Toronto Mississauga (UTM) Description: An introduction to formal deductive