PhD Studentship - City University London

PhD Studentship
Architectural Description and Formal Analysis of Systems
(http://www.soi.city.ac.uk/~kloukin/PhD.html)

Software Engineering Group, City University London
Duration: 3 years
Starting date: 1 June 2010
Annual Bursary: 14000 GBP
Closing Date of Application: 30 June 2010

Applicants are invited for a full-time PhD scholarship at the Software
Engineering Group at the Department of Computing, City University
London to conduct research in the area of Software Architectures and
Formal Analysis of Systems. The studentship is funded by the EU research
project IoT@Work (FP7-257367).

The studentship is available to both UK/EU and overseas fee-paying
students and is only open for applicants who will be studying
full-time. The studentship, starting 1 June 2010, includes a bursary
of 14000 GBP per annum (in addition to a full tuition fee waiver) for
three years.

The ideal candidate will have a bachelor's degree in Computing (or in a
numerate subject with substantial component in computing) or equivalent
related professional experience, and a master's in Computer Science.

Candidates should have:
(a) research excellence or demonstrable potential;
(b) to be able to work as a member of a research team;
(c) strong technical skills and programming experience in Java;
(d) excellent communication and reporting skills; and
(e) evidence of proficiency in English.

Experience with one or more of the following is also desirable:
- embedded systems
- formal methods
- hardware design
- real-time systems
- software architectures

The appointed candidate is expected to carry out PhD studies in the field
of Software Architectures and Formal Analysis of Systems in line with
the work programme for City University London in the IoT@Work project,
and to collaborate with other partners of the project and members of
the School of Informatics as required by the needs of IoT@Work.

Applications should include a full CV including publication details
and grades of previous qualifications, and names and contact details
of two referees. These, along with the completed research degree
application form should be sent to Mr Mark Firman either electronically
to M.Firman@SoI.City.AC.UK, or by post to:

Mark Firman
School of Informatics
City University London
Northampton Square
London EC1V 0HB
UK

The research degree application form is available from:
http://www.city.ac.uk/research/resdegrees/dps/forms

Additional general information about the PhD degree at City University can
be found on the Research Studies web page:
http://www.city.ac.uk/research/resdegrees

Information about the Software Engineering group can be found at:
http://www.soi.city.ac.uk/organisation/doc/research/se

We encourage potential applicants to make informal enquiries for more
information about the scholarship, by contacting Dr Christos Kloukinas
either electronically at C.Kloukinas@City.AC.UK, or by post:

Christos Kloukinas
School of Informatics
City University London
Northampton Square
London EC1V 0HB