[Concurrency] Two research positions on the CONNECT-IP project at
OXFORD UNIVERSITY COMPUTING LABORATORY
Two Research Assistant Posts (Grade 7 and 6)
Project: CONNECT-IP: Emergent Connectors for Eternal Software Intensive
Networked Systems
The Computing Laboratory has two vacancies on an EU-funded FP7 research
project CONNECT-IP which runs for three and a half years from 1st
February 2009 (subject to contract). The project is centred on a
revolutionary concept of a seamless networking infrastructure for
digital systems that enables continuous composition of networked systems
and the evolution of their functionalities. This will be achieved
through the application of formal reasoning, learning, and run-time
synthesis of connectors. The overall aim is to develop the architectural
principles and the foundations for modelling and reasoning about
networked systems.
This exciting project will provide the successful candidates with the
opportunity to interact with members of the partner sites in France,
Germany, Sweden, Italy, China and the UK. The Oxford component is led by
Professor Marta Kwiatkowska and the contribution will focus on the
formal foundations for connectors and automated verification of
non-functional requirements such as performability and dependability.
Two posts are available, a Research Assistant and a Student Researcher,
both of whom will engage in research addressing the above objectives
under the supervision of Professor Kwiatkowska.
The Research Assistant post, which is a fixed term appointment for up to
38 months, will have a salary on the University grade 7 scale (currently
?28,839 to ?35,469 pa [check]); includes membership of USS; will have an
annual leave entitlement of 38 days per year (inclusive of all public
holidays and university closed periods), and will be available from 1st
February 2009 or shortly thereafter.
The Student Researcher will engage in research leading towards a
doctorate (D.Phil.). This post will be available from 1st May 2009 and
must be taken up by 1st August 2009. It will be a fixed term appointment
for up to 36 months, with a salary of ?25,623 p.a. on the University
grade 6 scale (currently ?25,623 to ?30,594 pa) which includes
membership of USS and has an annual leave entitlement of 38 days per
year (inclusive of all public holidays and university closed periods).
Fees (college and university) are at a reduced rate of approximately
?3,500 per annum, with 50% to be refunded by the project conditional on
satisfactory progress.
Further details of the posts, including the selection criteria and
method of application are available here
http://www.comlab.ox.ac.uk/news/documents/connect7-fps.pdf
http://www.comlab.ox.ac.uk/news/documents/connect6-fps.pdf
The closing date for applications is Friday 19th December 2008.
Oxford University is and Equal Opportunities Employer.
–
Professor Marta Kwiatkowska
Fellow of Trinity College
Director of Graduate Studies
Oxford University Computing Laboratory
Wolfson Building, Parks Road
Oxford, OX1 3QD
Tel: +44 (0)1865 283509 (office)
Email: Marta.Kwiatkowska@comlab.ox.ac.uk
URL: http://web.comlab.ox.ac.uk/people/Marta.Kwiatkowska/
_______________________________________________
Concurrency mailing list
Concurrency@listserver.tue.nl
http://listserver.tue.nl/mailman/listinfo/concurrency