Skip to content
The AI Modelling Lab
The AI Modelling Lab
AIM High!
  • Members
  • Talks
  • Recent Publications
  • Projects
  • News
  • Potential PhD Topics
  • Vacancies

Category: news

Job Opportunity: Research Research Associate in Neurosymbolic AI​

3rd December 2022 HAL 9000

Applications are invited for a 2-year postdoctoral research position in Neurosymbolic Artificial Intelligence. More information available is here.

Continue Reading →

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

23rd October 2022 HAL 9000

The Edinburgh Laboratory for Integrated Artificial Intelligence (ELIAI) will fund a new project on integrating theorem proving and neural learning…

Continue Reading →

Opportunity: Multimorbidity PhD Programme for Health Professionals

11th August 2022 HAL 9000

The Clinical PhD Research Fellowships are fixed term 3-year appointments offering training, mentoring and support to health professionals undertaking a…

Continue Reading →

Paper accepted at CICM 2022

15th July 2022 HAL 9000

Our paper, “Re-imagining the Isabelle Archive of Formal Proofs” (MacKenzie, Huch, Vaughan and Fleuriot), has been accepted at the 15th…

Continue Reading →

Submission accepted for presentation at Complex Networks 2022

HAL 9000

Our submission on “Building co-morbidity networks via Bayesian network reconstruction” (Romero Moreno, Restocchi and Fleuriot), based on ongoing work done…

Continue Reading →

New Archive of Formal Proof Website

25th June 2022 HAL 9000

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.

Continue Reading →

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

13th December 2021 Petros Papapanagiotou

Applications are invited for a Research Associate in Formal Modelling for Health and Care in the School of Informatics, University…

Continue Reading →

Fully Funded PhD: Monitoring daily living to predict health outcomes

2nd November 2021 Petros Papapanagiotou

📢 PhD with Integrated Study in Advanced Care 📅 Deadline: 26 Nov 2021 (rolling) 👉 Apply here An exciting opportunity…

Continue Reading →

Callum Abbott’s MSc thesis comes top of MSc in Statistics with Data Science

20th October 2021 HAL 9000

Congratulations to Callum Abbott whose thesis “To Drain or Not to Drain? A Causal Investigation into the Efficacy of Subdural…

Continue Reading →

Programme Co-ordinator post available on Artificial Intelligence for Multiple Long-Term Conditions Programme

15th September 2021 HAL 9000

We are looking for an experienced researcher (Grade 8, salary £42,149-£50,296), with a PhD in Artificial Intelligence, machine learning or…

Continue Reading →

News navigation

Page 1 of 3
1 2 3 Next →

Lab Events

  • Lab meeting

    3rd February 2023  14:00 - 15:00
    Teams

  • Lab meeting @IF 3.02

    10th February 2023  14:00 - 16:00

  • Lab meeting @IF 3.02

    24th February 2023  14:00 - 16:00

  • Lab meeting @IF 3.02

    10th March 2023  14:00 - 16:00

  • Lab meeting @IF 3.02

    24th March 2023  14:00 - 16:00

Some of the AIML Members (Winter 2021)

Digiflow at DemoFest 2019

Copyright © 2023 The AI Modelling Lab