2 formal-method-phd research jobs 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

Research Fellow in data analysis and modelling of microstructure for SOCs

Imperial College London | United Kingdom | about 2 months ago

Imperial Global Singapore, Imperial College London’s formal research and innovation entity in Singapore, is seeking an experienced senior postdoctoral research assistant for the NH3-SOFC research