1 software-formal-method-phd-"https:" Postdoctoral positions at Imperial College London

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

(model-based) systems engineering, whilst applying systems analysis techniques based on formal methods, AI, and optimisation and will be expected to submit publications to top-tier conferences and journals