Postdoctoral and PhD Research Positions in Software Verification

Wednesday, October 27, 2021 - 13:15

We are pleased to announce a three-year postdoctoral position and a four-year PhD scholarship on a project which investigates Modular AI Verification and Visualisation (MAIVV). This research aims to provide scalable software development techniques that guarantee software dependability when deep learning techniques are employed. 

This project is led by Dr Rosemary Monahan and Professor Barak Pearlmutter in the Dept. of Computer Science and Hamilton Institute. Position details are available at the links below:

Post Doctoral research (36 month contract,  Eur 38,632 p.a.) 
Deadline for applications: November 7th 2021.

Funded PhD position (2021 - 2025, Eur 102,000 over 4 years) 
Deadline for applications: November 19th 2021.