Research Associate in Verification and Reasoning about Cyber-Physical Systems

Imperial College London is pleased to invite applicants to apply for a postdoc position. Citizens of any country are eligible to apply. Applications are invited up to September 26, 2018.

We are seeking to hire a Research Associate to contribute towards a unifying science for smarter sensor based systems. The 'Science of Sensor Systems Software' (S4) project aims to deliver new philosophies and techniques for the development and deployment of verifiable, reliable, sensor systems that operate in uncertain, multiple and multi-scale environments. Led by Julie McCann, Imperial's particular focus in this project to understand how the combination of digital and physical computation is affected by environments and how they impact environments under differing environmental conditions and demands, and therefore in terms of hardware and software.

The S4 programme brings together researchers from the universities of Glasgow, Liverpool and St Andrews, and Imperial College London examining systems, dynamics, verification and modelling etc. It is motivated and validated by end-user and experimental applications involving ten organisations, including ABB, British Geological Survey, CENSIS, Freescale, Rolls-Royce, Thales, and Transport Scotland. (See:
- To take initiatives in the planning of research
- To direct the work of small research teams
- To write reports for submission to research sponsors
- To provide guidance to PhD and undergraduate students
- To conduct and plan own scientific work with appropriate supervision.
- To maintain highly organised and accurate record of experimental Work.
- To actively participate in the research programme of the Group
- To publish in high quality journals and to present data at national and international meetings
- To participate in group research meetings and internal seminars.
- To collaborate with other allied scientists within Imperial College and elsewhere in London and abroad, as appropriate
- To contribute to the smooth running of the group's activities such as seminars and journal clubs
- Assist in the supervision of undergraduate and postgraduate research students and research assistants as required

A track record in verification (or similar) of cyber-physical systems (hybrid control, wireless sensors etc) is essential for this post. In particular the following skills are required:
- Experience in the modelling of resilience, dependability, formal methods, and systems of systems
- Understanding of practical cyber-physical systems challenges
- Basic understanding of Control systems and optimisation.

As Research Associate you must have a PhD (or equivalent) in an area pertinent to the subject areas above. Preference will be given to applicants that can demonstrate the ability to code embedded systems with a proven research record and publications in A-ranked venues. You must have excellent communication skills and be able to organise your work with minimal supervision and prioritise work to meet deadlines. All applicants must be fluent in spoken and written English.

For further information see: or email research related enquiries to Prof J.A. McCann

*Candidates who have not yet been officially awarded their PhD will be appointed as Research Assistant within the salary range 33,380 – 35,061 per annum.


Get latest scholarships via your email! It's free!
Remember to check your email and active the subscription.
You can unsubscribe any time.
Copyright © 2015 All Right Reserved.