PhD in Neurosymbolic AI: We are looking for students interested in exploring the interplay between symbolic reasoning, especially from a logical perspective, and neural learning. Candidates will need to have a strong background in mathematics and/or computational logic, experience with neural networks/deep learning and familiarity with (or strong interest in) foundational aspects of AI. Funding may be available for good students.
PhD in AI for Healthcare and Medicine: Are you interested in developing and applying AI techniques ranging from formal verification to machine learning to real-world health and care processes? Are you interested in Interpretable, Explainable, Neurosymbolic and/or Causal AI for healthcare and medicine? If the answer is yes to any of these questions, contact us. Funding may be available for good students.
PhD in Formal Modelling and Verification for AI: We are interested in supervising PhD students who wish to explore and develop the foundations of AI algorithms and approaches, e.g. machine learning (including Deep Learning) and logic-based learning, via formal modelling and verification. Candidates will need to have a strong background in mathematics, interest in computational logic/theorem proving and experience in machine learning and other aspects of AI. Funding may be available for good applicants.
PhD in Formalised (Mathematics for) Physics: We are looking for research students interested in the formalization of foundational physics but also in its applications to the real world (e.g. robotics and autonomous navigation). Funding may be available for good students.