[isabelle] Research Associate. DYVERSE: A New Kind of Control for Hybrid Systems

Subject: Research Associate. DYVERSE: A New Kind of Control for Hybrid Systems

School of Computer Science, University of Manchester, UK.
Start date: March/April 2011.
Contract: Fixed Term Contract (12 months) 
Salary: £29,853 p.a. 
Closing date for applications: 31st October 2010.

We are seeking a Post-Doctoral Research Associate to join our enthusiastic, energetic and dynamic team. The post is available from March/April 2011 for a period of 12 months and is associated with the multi-disciplinary EPSRC-funded project 'DYVERSE: A New Kind of Control for Hybrid Systems' led by Eva Navarro-López from the School of Computer Science at Manchester (UK). The project is in collaboration with the University of Cambridge and Universidad Politécnica de Madrid. There will be collaborations with other UK and overseas institutions. 

DYVERSE is a novel computational-dynamical framework for the modelling, analysis and control of hybrid dynamical systems. DYVERSE stands for the DYnamical-driven VERification of Systems with Energy considerations. Its goal is to ensure good performance and quality in the design of complex engineering systems, which are safety critical, continually changing and may exhibit harmful dynamics that degrade performance. In particular, this project is focused on discontinuous and switched control systems under the hybrid systems framework. DYVERSE new theoretical results will be experimentally validated in an already-built mechanical prototype with impacts and friction. The research is highly multi-disciplinary, mixing theory and practice and crossing different application domains. DYVERSE is to be combined with the work in automated formal verification headed by Prof. Lawrence Paulson from the University of Cambridge in the project 'Automatic Proof Procedures for Polynomials and Special Functions' (http://www.cl.cam.ac.uk/~lp15/Grants/AutoPolyFun/). 

We are seeking candidates who have or are about to obtain a PhD in computer science or automatic control, with excellent knowledge of formal verification techniques, logics, and automated reasoning, as well as programming. Experience in automata, formal languages, and physical/dynamical systems is desirable. Applicants with multi-disciplinary backgrounds are especially welcome. 

Applications should be sent to the Human Resources Section at the University of Manchester, as explained in 'Further particulars' at:


Applications should include:

* Curriculum Vitae,
* a brief letter explaining what you can contribute to the project.
* a completed application form 

Start date: March/April 2011.
Closing date for applications: 31st October 2010.

For additional information, please visit our project website:


Please, forward this email to anyone who you think might be interested.

Kind regards,
Eva Navarro.

Eva M. Navarro-López
Lecturer/RCUK Academic Fellow

University of Manchester
School of Computer Science
Room 2.103, Kilburn Building
Oxford Road
Manchester, M13 9PL, United Kingdom
Phone: +44 (0)161 275 6209
Fax:   +44 (0)161 275 6204
E-mail: eva.navarro at cs.man.ac.uk

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.