University of Birmingham Featured PhD Programmes
University of Glasgow Featured PhD Programmes
Newcastle University Featured PhD Programmes
University of Edinburgh Featured PhD Programmes
University of Leeds Featured PhD Programmes
"logic"×
10 miles

logic PhD Projects, Programs & Scholarships

We have 36 logic PhD Projects, Programs & Scholarships

  • "logic" ×
  • clear all
Order by 
Showing 1 to 10 of 36
  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.
  Chalcogenide-based memory and logic for flexible electronics applications
  Prof C D Wright, Prof M.F. Craciun
Application Deadline: 30 April 2019
Joint supervisors. Prof C D Wright, Prof M F Craciun. External partners. PragmatIC Ltd (Dr C Ramsdale); University of Southampton (Prof D Hewak).
  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.
  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.
  Breaking Symmetries in Automated Reasoning
  Dr K Korovin
Applications accepted all year round
Automated reasoning has a wide range of applications including verification of software and hardware, reasoning with ontologies and proving mathematical theorems.
  PhD Studentship Opportunity Security Analysis of Systems using Emerging 5G Technologies (5GTech-Sec)
  Research Group: 5G Innovation Centre
  Dr I Boureanu
Applications accepted all year round
5GTech-Sec will undertake the formal security & privacy analysis of 5G-systems against 5G-specific security and privacy risks. e.g., threats stemming from reconfigurable networks, arbitrary number of connections to a small cell, etc.
  Automated probabilistic programming and learning methods for robotic behaviours in an uncertain and changing world
  Research Group: Intelligent Systems and Nanoscience
  Dr M A Post, Prof A M Tyrrell
Applications accepted all year round
Nearly all programmable computing systems are based by design on exact logic, under the assumption of a "perfect" mathematical world.
  Device Ageing using the PAnDA Device
  Research Group: Intelligent Systems and Nanoscience
  Prof A M Tyrrell, Dr M Trefzer
Applications accepted all year round
The programmable analogue and digital array (PAnDA) device is a multi-reconfigurable chip that consists of an array of configurable circuit blocks interconnected using a programmable routing structure.
  Fault Tolerant design using the PAnDA Device
  Research Group: Intelligent Systems and Nanoscience
  Prof A M Tyrrell, Dr M Trefzer
Applications accepted all year round
The programmable analogue and digital array (PAnDA) device is a multi-reconfigurable chip that consists of an array of configurable circuit blocks interconnected using a programmable routing structure.
Show 10 15 30 per page


FindAPhD. Copyright 2005-2019
All rights reserved.