PhD Studentships on Concurrency Engineering of Multi-Core Applications (Univ. of Hertfordshire)

[Michael Zolda]

PhD Studentships on Concurrency Engineering of Multi-Core Applications

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.

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: l.nicholls [AT] herts.ac.uk. 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)


University of Hertfordshire
College Lane
Hatfield
AL10 9AB
United Kingdom

--- news://freenews.netfront.net/ - complaints: ne...@netfront.net ---