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.
Besides other projects, the CTCA group currently coordinates the ARTEMIS-JU European research project CRAFTERS (ConstRaint and Application driven Framework for Tailoring Embedded Real-time Systems), which is carried out jointly with five other Universities and 20 companies across Europe. Our objective within this project is to develop compiler-supported measures to create reliable software. One of the key concepts for this research is S-NET, which is a stream-based coordination language used to simplify the programming of multi-core applications by separating coordination and computation concerns.
Within the scope of the project we offer PhD studentships and project-funded research positions.
Requirements for applicants:
Personal profile:Â Â Â Â
â¢ Graduate student in the area of computer science
â¢ Interest in compilers and compiler technology
â¢ Adequate English skills (written and spoken)
â¢ Interest in programming
â¢ Propensity for teamwork
Suggested Period:Â Â Â Â Â Â Â
PhD studentships are awarded for three years, with a bursary of about Â£13,590 per annum. A home studentâs fee will also be covered. Planned beginning is July 2013, but is open to negotiation.
Tasks:Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â
Extension of the flow-programming language S-Net, developed at UH, which is a declarative coordination language that describes the dataflow between functional units of a distributed application. Topics include: adding new mechanisms for robustness such as adaptability within the tool chain of S-NET, extending the expressiveness of S-Net towards embedded computing, as well as further issues of language design and implementation.
Applications:Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â Â
Further information and an application form can be obtained from Mrs Lorraine Nicholls, 9AB, Tel: +44-1707-28-6083, Research Student Administrator, STRI, University of Hertfordshire, College Lane, Hatfield, Herts, AL10, email: firstname.lastname@example.org. The topic âProgramming Languages and Compilation Technologyâ has to be given on the application form to reply to this post.
The short-listing process will begin on 1. May 2013. (later applications are still possible, in this case please contact directly Dr. Raimund Kirner (r.kirner [AT] herts.ac.uk) to check for availability)