Logic List Mailing Archive
Postdoctoral position on "Control and Verification of Nonlinear and Hybrid Systems", Amsterdam (The Netherlands), Deadline: 31 August 2007
Dear Colleagues,
Unfortunately, the applicant I had selected for a previously advertised
postdoctoral position was offered a permanent position and will not be
coming to the CWI. The position is therefore open for new applications. I
would greatly appreciate it if you could inform suitable canditates about
the position. The advertisement can be found online at
http://homepages.cwi.nl/~collins/vacancies/vidi-postdoc.html and a text
version is included below.
Best regards,
Pieter Collins,
CWI, Amsterdam
--------------------------------------------------------
Postdoctoral position on "Control and Verification of Nonlinear and Hybrid
Systems"
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".
Project: The mathematical and numerical analysis of a dynamic system model
is of critical importance in control engineering projects, both to develop
an efficient controller, and to ensure that the proposed controller
satisfies the control objectives. From a theoretical point of view, it is
important to know which system properties can be calculated numerically, and
which are uncomputable. From a practical point of view, it is also important
to be able to solve problems in computationally efficient way.
The main aim of the research project is to devolop efficient methods for
control design and verification for nonlinear and hybrid systems. Possible
topics for research include include verified numerics, computational
complexity and its relationship with system robustness, modular control
using assume-guarentee reasoning, and the deveolopment of formal languages
with effectively computable semantics for system description. The candidate
is also expected to contribute to the software project "Ariadne" for
rigorous analysis of dynamical and control systems.
Requirements: The candidate for the position should have a Ph.D. degree or
equivalent in the mathematical sciences. The candidate should have a good
knowledge of nonlinear dynamical systems or control theory and have
experience in programming in C++. Good knowledge of English is essential,
but knowledge of Dutch is not necessary.
Terms of employment: The position is available from September 2007. The
salary and terms of employment are in accordance with the
"CAO-onderzoekinstellingen" (English version.pdf). Moreover CWI offers
attractive terms of employment and working conditions, including flexibility
and help with housing for foreigners.
Information and application:
For more information on this vacancy please contact:
- Dr. Pieter Collins, Pieter.Collins@cwi.nl, +31 (0)20 592 4094
Official applications, together with curriculum vitae, the names and contact
details of three referees and a list of publications can be sent to:
- CWI Personnel and Organsiation (P&O), Postbus 94079, 1090 GB Amsterdam,
The Netherlands. pd@cwi.nl
Preference will be given to applications received by 31 August 2007.
--
Dr. Pieter Collins
Centrum voor Wiskunde en Informatica
Postbus 94079
1090 GB Amsterdam
The Netherlands
Tel: +31 20 5924094
Fax: +31 20 5924199
Email: Pieter.Collins@cwi.nl