PhD Studentship in Architectural Description and Formal Analysis of Systems, City University London

PhD Studentship: Architectural Description and Formal Analysis of Systems
Software Engineering Group, City University London
Duration: 3 years
Starting date: 1 June 2010
Annual Bursary: £ 14000
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 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:

research excellence or demonstrable potential (please provide copies of published/submitted papers, if any);
to be able to work as a member of a research team;
strong technical skills and programming experience in Java;
excellent communication and reporting skills; and
evidence of proficiency in English (see Entry requirements – usually also a hard requirement for obtaining a student visa, if one is needed).
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.

Along with the completed research degree application form, 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

Application forms should also be CC-ed to Dr Christos Kloukinas.

The research degree application form is available from: http://ping.fm/bRb7M

Additional general information about the PhD degree at City University can be found on the Research Studies web page, http://ping.fm/ubAXn

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

We encourage potential applicants to make informal enquiries for more information about the scholarship, especially on how to complete section 6 of the application form, 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

Source:

http://ping.fm/56t0X