Continue with FacebookLooking to list your PhD opportunities? Log in here.
semantics PhD Projects, Programmes & Scholarships
We have 9 semantics PhD Projects, Programmes & Scholarships
PhD saved successfully
Last chance to apply
Coalgebraic modal logic and games
A fully funded PhD studentship at the intersection of logic, category theory, and program semantics. Master's students in mathematics or computer science with strong interests on fundamental research are especially encouraged to apply. Read more
Ontology and rule-based reasoning for intelligent manufacturing digital twin
Canterbury Christ Church University School of Engineering, Technology and Design welcomes applications to its PhD course from self-funded applicants to study a range of PhD projects. . Read more
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
PhD in Linguistics - SF22/ADSS/LING
Contact for general queries relating to these self-funded opportunities. Dr Phillip Wallage , email. phillip.wallage@northumbria.ac.uk. Read more
Logical approach to verification of hyperproperties
Linear-time temporal logic (LTL) is one of the most prominent logics for the specification and verification of reactive and concurrent systems. Read more
Language and Communication Studies at UEA
Language and Communication Studies came fifth in the UK with 74 per cent of its research rated 4* (world leading) or 3* (internationally excellent) in The Research Excellence Framework (REF2014), a major Government analysis of university research quality. 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