Multiple PhD positions in formal methods and security at Newcastle University, UK.
We are seeking highly motivated graduates to fill in three funded PhD positions at Newcastle University, UK. The candidates will conduct interdisciplinary research to formally analyse security of software or cyber-physical systems and develop techniques to design provably secure-by-design systems. The positions include one GTA (Postgraduate Teaching Assistant, a combined 5-year PhD program) and two 3.5-year doctoral studentships. The successful candidates will join the Secure and Resilient Systems<https://www.ncl.ac.uk/computing/research/srs/> (SRS) group, a thriving and growing team of over 40 researchers engaged in cyber security research at the School of Computing. The PhD students will benefit from a close collaboration with researchers and academics affiliated with the School of Medicine<https://www.ncl.ac.uk/medicine/> and Open Lab<https://openlab.ncl.ac.uk/> in the School of Computing, an interdisciplinary Human-Computer Interaction lab that has been conducting pioneering interdisciplinary research and design in the areas of community resilience and informatics, and the development of human-centred technologies. For further information about the positions and the application process, please contact me at narges.khakp...@newcastle.ac.uk<mailto:narges.khakp...@newcastle.ac.uk>. The deadline for applications is Feb 26.
