title:One new postdoc position at Imperial College!
title:One new postdoc position at Imperial College
---
We are looking to recruit one postdoctoral researcher in the Program Specification and Verification Group at Imperial College London, to work on reasoning about concurrent programs. The position is suitable for either a theoretician, who would work on the foundations of concurrent reasoning, or a theoretician/practitioner, who would work on the verification and testing of file systems.
@@ -6,3 +6,4 @@ Philippa Gardner was one of the keynote speakers at the 11th System Safety and C
Philippa’s talk, on Verified Trustworthy Software Systems was part of a panel discussion on the future of UK’s National Cyber Security Strategy.
The audience included academics, civil servants, safety and security engineers and leading technology companies such as Intel Security and QinetiQ.
Other sessions at the conference included topics on integrating safety and cyber security, legal and moral issues, implementing and adopting security approaches, system safety, software safety and transport.
You can find the video of the talk [here](http://cf-media.mp.streamamg.com/kaltura/2000369/20161020/2000/0_t778nckb_0_pvs9kz3y_2.mp4?Policy=eyJTdGF0ZW1lbnQiOlt7IlJlc291cmNlIjoiaHR0cDovL2NmLW1lZGlhLm1wLnN0cmVhbWFtZy5jb20va2FsdHVyYS8yMDAwMzY5LzIwMTYxMDIwLzIwMDAvKiIsIkNvbmRpdGlvbiI6eyJEYXRlTGVzc1RoYW4iOnsiQVdTOkVwb2NoVGltZSI6MTQ3OTgzMjE3NH19fV19&Signature=Dk5mD0lxRsocv62rE2OgJsKtxF3MVopqsTP2ygoZTfsHEe0NvPdPe7oinQYlWWP74ASeasPzL0TgunYVLYzo92bWlh8TAehRhkHw3hLPpLbfiNJC7wbJCBxaJq78Yga2WTMVryMO7CVPEgg9StU3xJzowM78IcfQYrDzQFNVeEoTvvmIARhu8UYefO2GVV~oC3Pzgtw0FH12I9b7eIL95SGecFqbaz3tFkWZQJyvMQl-5xKwNIYZbQk40H2vcRNptLo0adRhCLuBk74m0GNOl22rb7d-S5eKc2Q7g33CeXtkaZSw7mC4US-rJehepQHagkFXBk~qtZEvCw-90lBF~w__&Key-Pair-Id=APKAJVKZD2WR75FL2ZUQ).
