Email Gateway (Jul 16 2021 at 14:44): Email Gateway (Jul 16 2021 at 14:44):From: Lawrence Paulson <lp15@cam.ac.uk>
Postdoc position: Formal methods in control (Munich, Germany)
Bundeswehr University Munich, Germany
Department of Aerospace Engineering
Institute of Control Engineering
We invite applications for an EU funded post-doctoral researcher
position in the field of formal methods in control. The successful
candidate is expected to advance the state of the art of
abstraction-based synthesis and verification for nonlinear
continuous-state plants and to extend existing synthesis
software. Depending on background and interests of the candidate,
possible research foci are: automated determination of error bounds
for floating-point implementations of numerical algorithms;
parallelizable on-the-fly synthesis algorithms; adaptive state
discretization; input-output interface of synthesis software.
Required qualifications:
PhD degree in Systems and Control, Computer Science, Mathematics,
or a related field. Exceptionally qualified and experienced
candidates with an MSc degree will also be considered.
Solid experience in one of the following fields: Set-valued
numerics; validated floating-point arithmetic; dynamic programming;
formal methods in control.
Programming proficiency (C or Ada).
The position is full-time and paid according to pay scale ``TVOeD
Bund, E 14''. Actual income depends on marital status and professional
experience, and starts from EUR 33000 net p.a. (E-13/EUR 31000 for
applicants with an MSc degree). Reimbursement for travel expenses to
conferences. No teaching load. The position is available immediately
and for a duration until April 2023. It is open to applicants
worldwide; no special security clearance necessary.
Your complete application consists of the following documents, which
should be sent as a single PDF file to the email address given below
(deadline: July 28, 2021):
One-page cover letter (clearly indicating available start date as
well as relevant qualifications, experience and motivation)
University certificates and transcripts (BSc, MSc and PhD degrees)
All documents should be in English or German.
Gunther Reissig
http://www.reiszig.de/gunther/
Email: gunther2016@reiszig.de, Subject: Postdoc ref 9y22x
AusschreibungEmailA.pdf
Last updated: Jan 04 2025 at 20:18 UTC