Postdoctoral position on "Control and Verification of Nonlinear and Hybrid Systems", Amsterdam (The Netherlands)

The Control and System Theory group at the Centrum voor Wiskunde en Informatica (CWI), Amsterdam, has an open position for a postdoctoral researcher for two years. The researcher will perform research within the NWO funded project "Topological Methods for Systems and Control". The main aim of the research project is to devolop efficient methods for control design and verification for nonlinear and hybrid systems. The candidate is also expected to contribute to the software project "Ariadne" for rigorous analysis of dynamical and control systems.

The position is available from September 2007. Preference will be given to applications received by 31 August 2007. For more information on this vacancy. see the full advertisement at http://homepages.cwi.nl/~collins/vacancies/vidi-postdoc.html or contact Dr. Pieter Collins, Pieter.Collins at cwi.nl, +31 (0)20 592 4094.