Hebrew University of Jerusalem
IMT Institute for Advanced Studies Lucca
Continue with FacebookLooking to list your PhD opportunities? Log in here.
We have 24 logic PhD Projects, Programmes & Scholarships PhD Projects, Programmes & Scholarships
logic PhD Projects, Programmes & Scholarships PhD Projects, Programmes & Scholarships
We have 24 logic PhD Projects, Programmes & Scholarships PhD Projects, Programmes & Scholarships
PhD saved successfully
Causal Temporal Logic
Temporal logic (TL) is arguably the primary language for formal specification and reasoning about system correctness and safety. Read more
Generative Logic Model for Data-Driven Discovery of Symbolic Commonsense Knowledge [Self Funded Students Only]
This project aims to study and implement algorithms for generating symbolic commonsense knowledge from potentially inconsistent, incomplete, dynamic, subjective and distributed data. Read more
Understanding Distribution Shift with Logic-based Reasoning and Verification
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
Groups definable in tame expansions of o-minimal structures
Research Group:
School of Mathematics
This project lies at the nexus of model theory (mathematical logic), group theory and combinatorics. Read more
PhD in Computing Science - Virtualisation of Programmable Logic Controllers (PLCs) for Cyber Security Use Cases - Understanding the Art of the Possible
Industrial Control Systems (ICS) form essential economic and life-critical elements of UK national infrastructure and play a key part in enabling the operation of complex defence platforms. 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
Neuro-Symbolic Artificial Intelligence for Efficient and Interpretable Natural Language Understanding
The significant, and by some measures superhuman [1], performance of deep neural models has led to their wide adoption across multiple fields including Natural Language Processing. Read more
Philosophy PhD (option of joint PhD with National University of Singapore)
About Philosophy PhD. The Philosophy Department at King’s is one of the largest research departments in the field in the UK. Read more
Automated probabilistic programming and learning methods for robotic behaviours in an uncertain and changing world
Nearly all programmable computing systems are based by design on exact logic, under the assumption of a "perfect" mathematical world. Read more
Mathematics
Ranked 17th amongst the world's top 25 mathematics research institutes, faculty and graduates of Hebrew University's Einstein institute of Mathematics include many of the world's leading mathematicians, including a Nobel prize laureate (2005), Fields Medal (2010) and a recipient of the Abel Prize (2020). Read more
Exploring the challenges and opportunities of Natural Language Processing (NLP) in Social Media Analytics within healthcare
Research Group:
Visual Computing
Social media analytics, as described by techopaedia (2021) is the approach of collecting data from social media… Read more
FRaME: Fragility and Repair of ML ComponEnts in interconnected cyberphysical systems
Supervisory Team. Ekaterina Komendantskaya, Tim Norman. Project description. Machine learning (ML) components such as neural networks (NNs) have become pervasive in complex system design. Read more
8 fully-funded Ph.D. positions in "Economics, Analytics and Decision Sciences" (EADS) at the IMT School for Advanced Studies Lucca
The IMT School for Advanced Studies Lucca is now recruiting 8 fully funded doctoral candidates in its Economics, Analytics and Decision Sciences (EADS) PhD Program. Read more
Advanced spoofing detection and mitigation for GNSS receivers - Chelton Limited
This project is part of the. Centre for Doctoral Training in Geospatial Systems. The successful candidate will be located and supervised by academics from within the Nottingham Geospatial Institute, University of Nottingham and work alongside our external partner. Read more
Improving Robustness of Pre-Trained Language Models
Recent efforts to Natural Language Understanding (NLU) have been largely exemplified in tasks such as natural language inference, reading comprehension and question answering. Read more
- 1
- 2