[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] [qest-announce] Two research positions on the CONNECT-IP project at Oxford



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@xxxxxxxxxxxxxxx
URL: http://web.comlab.ox.ac.uk/people/Marta.Kwiatkowska/
_______________________________________________
qest-announce mailing list
qest-announce@xxxxxxxxxxxx
http://mailman.crhc.uiuc.edu/mailman/listinfo/qest-announce