Postgrad LIVE! Study Fairs

Birmingham | Edinburgh | Liverpool | Sheffield | Southampton | Bristol

London School of Hygiene & Tropical Medicine Featured PhD Programmes
University of Oxford Featured PhD Programmes
University of St Andrews Featured PhD Programmes
University College London Featured PhD Programmes
Birkbeck, University of London Featured PhD Programmes
"logic"×
10 miles

logic PhD Projects, Programs & Scholarships

We have 39 logic PhD Projects, Programs & Scholarships

  • "logic" ×
  • clear all
Order by 
Showing 1 to 10 of 39
  Efficient automated theorem proving for first-order logic
  Dr K Korovin
Applications accepted all year round
Automated theorem proving has applications ranging from proving theorems in mathematics to verifying correctness of hardware and software.
  Optimization of Multi-Camera Detection and Tracking Using Logic Minimization
  Dr Ming Xu, Dr J Smith
Applications accepted all year round
Intelligent video surveillance is to automatically detect, track and recognize moving targets (e.g. pedestrians and vehicles) by using computer algorithms.
  Hybrid Professionals in the professional services firm - developing expertise in others (e.g. management or policy) to deal with environmental pressures.
  Dr S Allan, Dr C Alawattage
Application Deadline: 31 March 2019
Existing research looks at professionals who have taken on managerial roles and/or responsibilities and problematizes the conflicting logics (managerial/commercial and professional) that apply in circumstances of institutional complexity (when different and competing logics are at play) (Noordegraaf, 2007, p.
  Categorical proof theory: developing models to increase the understanding of logic proofs
  Dr A Schalk
Applications accepted all year round
There is a strong connection between programs and the proofs for certain logics. By finding mathematical models for either of these we increase our understanding of them.
  Model Checking Agents That Learn - Developing Specification Languages to Capture the Strategic Behaviour of Learning Agents
  Dr F Belardinelli
Application Deadline: 31 December 2018
Studentship. Untaxed bursary of 16,777 per annum (2018/19 figure including London weighting plus home/EU fees). The Department of Computing is a leading department of Computer Science among UK Universities, and has consistently been awarded the highest research rating.
  PhD Philosophy programme
Our fully-funded PhD Scholarships offer an excellent opportunity to join an internationally renowned department within a world-class university.
  Quantum Information Processing with Complex Scattering Media
  Dr M Malik
Application Deadline: 8 February 2019
Control over the scattering process inside multi-mode fibers will be used for designing quantum logic gates and multi-port beam splitters for generating and manipulating high-dimensional quantum states of light.
  The development of methods for representation and reasoning over Maori knowledge and worldviews relating to land
  Dr K Stock, Prof H Guesgen
Application Deadline: 20 December 2018
We have an exciting PhD opportunity within the Massey Geoinformatics Collaboratory at Massey University, in Auckland, New Zealand, working with Dr Kristin Stock and Professor Hans Guesgen in the area of representation and reasoning of Maori knowledge about land.
  Social venturing phenomenon: drivers, impact and directions (REF: SF18/BAM/BHOWMICK)
  Dr S Bhowmick, Dr R Wanjiru
Applications accepted all year round
The non-governmental social sector works from reviving orphan drugs for the poorest patients of the deadly black fever disease in India or Sudan to inner city poverty reduction in New York or London, defies traditional business sector explanation.
  Can current AI reasoning mechanisms be used to model ancient geometric reasoning, illustrating Immanuel Kant’s ideas about mathematical knowledge?
  Prof A Jung, Prof A Sloman
Application Deadline: 14 January 2019
This project is supervised by a theoretical computer scientist (Jung) and a philosopher of mathematics who has worked in AI and Cognitive Science (Sloman).
Show 10 15 30 per page


FindAPhD. Copyright 2005-2018
All rights reserved.