3rd December 2022 / Jobs, news

Job Opportunity: Research Research Associate in Neurosymbolic AI​

Applications are invited for a 2-year postdoctoral research position in Neurosymbolic Artificial Intelligence. More information available is here.
Read More
23rd October 2022 / news

New Project funded by the Edinburgh Laboratory for Integrated Artificial Intelligence (ELIAI)

The Edinburgh Laboratory for Integrated Artificial Intelligence (ELIAI) will fund a new project on integrating theorem proving and neural learning...
Read More
11th August 2022 / Jobs, news

Opportunity: Multimorbidity PhD Programme for Health Professionals

The Clinical PhD Research Fellowships are fixed term 3-year appointments offering training, mentoring and support to health professionals undertaking a...
Read More
1st August 2022 / Jobs

Job Opportunity: Research Fellow in Knowledge Representation for Medical Artificial Intelligence

Applications are invited for a Research Fellow in Knowledge Representation for Medical Artificial Intelligence position. More information is available here.
Read More
15th July 2022 / news

Paper accepted at CICM 2022

Our paper, "Re-imagining the Isabelle Archive of Formal Proofs" (MacKenzie, Huch, Vaughan and Fleuriot), has been accepted at the 15th...
Read More
15th July 2022 / news

Submission accepted for presentation at Complex Networks 2022

Our submission on "Building co-morbidity networks via Bayesian network reconstruction" (Romero Moreno, Restocchi and Fleuriot), based on ongoing work done...
Read More
25th June 2022 / news

New Archive of Formal Proof Website

A new website for the Archive of Formal Proofs based on the work of Carlin MacKenzie, James Vaughan and Jacques Fleuriot has just been launched.
Read More
2nd March 2022

Job Opportunity: Research Associate in Machine Learning for Health and Medicine

Applications are invited for a Postdoctoral Research Associate in machine learning for health and medicine in the School of Informatics,...
Read More
13th December 2021 / Jobs, news

Job opportunity: Research Associate in Formal Modelling for Health and Care

Applications are invited for a Research Associate in Formal Modelling for Health and Care in the School of Informatics, University...
Read More
2nd November 2021 / Jobs, news

Fully Funded PhD: Monitoring daily living to predict health outcomes

📢 PhD with Integrated Study in Advanced Care 📅 Deadline: 26 Nov 2021 (rolling) 👉 Apply here An exciting opportunity...
Read More
1 2 3 5