[TYPES/announce] Postdoc position: Formal Methods (Munich, Germany)

[Gunther Reißig]

We invite applications for a post-doctoral researcher position in the
field of formal methods, in Munich, Germany, the city
of the Oktoberfest. The successful candidate is expected to advance
the state of the art of abstraction-based synthesis and verification
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 languages and problem
specific compiler for synthesis software.

Required qualifications:
* PhD degree in Computer Science, Systems and Control, 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; reachability analysis; software development.
* Programming proficiency (C or Ada).
* Efficient communication skills in English.

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: September 19, 2021):

* CV
* 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)
* Up to three letters of recommendation
* List of publications
* Possibly an English language certificate

All documents should be in English or German.

Gunther Reissig
https://urldefense.com/v3/__http://www.reiszig.de/gunther/__;!!IBzWLUs!EgjqJNBwkxQajNf9KNtq1VHZe5mDmNadGClXcuNGBg8XbbzKAivNcbY_sPbUIyx4-_c3jb83jy2igA$ 
Email: gunther2016 at reiszig.de, Subject: Postdoc ref 9y22x
Bundeswehr University Munich, Germany
Department of Aerospace Engineering
Institute of Control Engineering