2 software-verification Postdoctoral positions at Imperial College London

Research Assistant or Research Associate in Cloud Infrastructure

Imperial College London | United Kingdom | about 1 month ago

developing, documenting, and maintaining opensource software related to this project. Further information on the research of Dr. Marios Kogias can be found at https://marioskogias.github.io/ . Research

Research Assistant or Research Associate in Resilience and Safety to Cyber Attacks in Industrial Control and Cyber Physical Systems

Imperial College London | United Kingdom | 3 months ago

information on the project. To apply for this position, you must have a strong computer science background with a focus on computer security and (model-based) systems engineering, have excellent software