University of York
Continue with FacebookLooking to list your PhD opportunities? Log in here.
We have 8 semantics PhD Projects, Programmes & Scholarships PhD Projects, Programmes & Scholarships
semantics PhD Projects, Programmes & Scholarships PhD Projects, Programmes & Scholarships
We have 8 semantics PhD Projects, Programmes & Scholarships PhD Projects, Programmes & Scholarships
PhD saved successfully
Research opportunities in Language and Linguistic Science
The study of language and linguistics provides a window on the mind, on people, and on society. We develop linguistic theories that are grounded in diverse and novel forms of empirical data, and we strive to ensure that research leads to real-world applications and societal impact. Read more
Formal Reasoning about Golog Programs
This project is part of a unique cohort based 4-year fully-funded PhD programme at the. UKRI Centre for Doctoral Training in Safe and Trusted AI. Read more
The Philosophical Foundations of Global Irrigation Models
Project description. This PhD project will analyze the ontology, epistemology and semantics of the mathematical models designed to calculate a key number. Read more
Causal Temporal Logic
Temporal logic (TL) is arguably the primary language for formal specification and reasoning about system correctness and safety. Read more
Changing gradients: Predicting cognition and wellbeing following stroke using whole-brain intrinsic connectivity gradients and machine learning
Background. Stroke is a leading cause of cognitive impairment, which often leads to difficulties in mobility, communication, attention and working memory, alongside poor wellbeing. Read more
A unified approach based on semantic models and continuous deep learning to sensor data uncertainty and inconsistency in smart systems - Project ID SOC0025
Smart IoT (Internet Of Things) based Applications, such as smart city/building/home and smart factory, are characterized as sensor-driven technology, which has the tendency of producing huge volume of data with increasing velocity. Read more
Research in IRAC (Institute for Research in Applicable Computing)
Research in IRAC (Institute for Research in Applicable Computing - https://www.beds.ac.uk/irac/) reflects the strong motivation within the Institute for developing novel applications of computer technology to solve real-world problems and for providing innovative tools to enable users to employ computer technology more efficiently and more effectively. Read more
Functional Programs as Spreadsheets
Spreadsheets are widely used as a calculation tool in scientific modelling, business and finance. A spreadsheet application is a standard part of any office productivity suite. Read more
- 1