University of Hertfordshire

College Lane


AL10 9AB

United Kingdom


Dr. Raimund Kirner

tel +44-1707-28-4125

fax +44-1707-28-4303

email: r.kirner [AT]




PhD Studentships on Embedded and Real-time Systems


The School of Computer Science at the University of Hertfordshire close to London is one of the oldest Computer Science academic departments in the UK. The University’s predecessor, Hatfield College of Technology, was one of the very first adopters of Computer Science as an academic discipline in the country. The Compiler Technology and Computer Architecture group has a strong reputation for its work on compiler technologies for distributed and parallel computing platforms, and dependable computing. It collaborates with leading hardware institutions in academia and industry. Graduates from our group are looked after by industry, working at renowned companies such as Intel or CISCO. The University of Hertfordshire is situated in Hatfield, just north of London.



We can offer several topics in the domain of Embedded Systems and Real-Time Computing, which are, for example, related to the following topics:

Š       Design and implementation of time-predictable computing systems

Š       Concurrent programming models for mixed time criticality systems

Š       Worst-case execution time analysis

Š       Measurement-based timing analysis

Š       Performance and energy efficiency of parallel programs

Š       Fault tolerance and dependable computing

Š       Security design for cyber-physical systems


For more details of our research activities and publications in that area please read further at:


Applicants should have strong analytical skills and being fluent in at least one 3rd generation programming language, such as C++, Java, ML, C, etc. Knowledge of embedded or real-time computing is a plus.


Successful candidates are eligible for a PhD studentship awarded by the University of Hertfordshire, with a bursary of about £ 14.250 per annum. A home student’s fee will also be covered. For international students the effective studentship is only £ 6.350 per annum due to the higher tuition fees (sometimes this difference can be compensated, but it cannot be guaranteed). Information about the current tuition fees can be found at Planned beginning is September 2016, subject to negotiation.


Application Procedure:

To apply, one needs to fill out an application form, which can be downloaded at:
This form has to be returned to Mrs Lorraine Nicholls, Tel: +44-1707-28-6083, Research Student Administrator, STRI, University of Hertfordshire, College Lane, Hatfield, Herts, AL10 9AB, email: l.nicholls [AT] The topic “Programming Languages and Compilation Technology” has to be given on the application form to reply to this post.


Please contact directly Dr. Raimund Kirner (r.kirner [@] if you have any specific questions with respect to this research area.


The short-listing process will begin on 30. May 2016. (later applications are still possible, in this case please contact directly Dr. Raimund Kirner (r.kirner [AT] to check for availability).