Home » Blog » Research fellow in verifiable sensor systems

Research fellow in verifiable sensor systems

The Science of Sensor Systems Software (S4) programme grant (of which I’m a PI) has a vacancy for a research fellow based at the University of Glasgow.

Research Assistant / Associate / Fellow

University of Glasgow – College of Science and Engineering – School of Computing Science

Salary: Grade 6/7/8; £28,098 – £31,604 / £34,520 – £38,833 / £42,418 – £49,149 per annum.

The School of Computing Science at the University of Glasgow invites applications for a Post Doctoral Research Associate or Fellow position in the leading-edge research project Science of Sensor System Software (S4)

Research is focused on delivering new principles and techniques for the development and deployment of verifiable, reliable, autonomous sensor-based systems that operate in uncertain, multiple and multi-scale environments. The S4 programme grant is a collaboration between four universities and you will be expected to work closely with researchers across the four universities.

This position offers an exciting opportunity to gain first-hand insights into the development of sensor-based systems and to develop and apply novel modelling and reasoning techniques that contribute to the goals of verifying reliability, robustness, security, etc. Depending on your experience, the role offers considerable intellectual freedom and opportunities for you to take significant initiative, leadership, and responsibility.

The job requires expert knowledge in one or more of: formal modelling and specification, stochastic and temporal logics, automated reasoning, sensor networks, run-time verification, real-world applications. Experience of bigraphs and model checking would be an advantage. You must have started to build up a strong publication record, have excellent programming and modelling skills, and be able to quickly integrate software, e.g. for model-checking, simulation, and verification. You should be competent to undertake hands-on work related to modelling and verification of chosen, real-life case-studies.

You hold, or expect to hold, a PhD in Computer Science or in a closely related field; alternatively, you have a first degree in one of the above-mentioned subjects and substantial experience in a research role in industry. Fresh PhD graduates are also encouraged to apply.

For appointment at Grade 8 you will need to meet the additional criteria as per the Job Description.

This post is offered as open-ended contract with funding available for up to 30 months.

It is anticipated that interviews will be held in March or April 2018.

For further information and to discuss details please contact the Principal Investigator, Professor Muffy Calder (email: muffy.calder@glasgow.ac.uk).


Leave a comment