[TYPES/announce] Postdoc position: Formal methods in control (Munich, Germany), ref 9y22x

[Gunther Reissig]

Dear Sirs,
I would like to point you to the announcement of a Postdoc position in
Munich, Germany, the city of the Oktoberfest.

I would appreciate if you could advertise the position in your
department or forward it to whomever you deem appropriate.

The announcement is attached as a pdf file, and a plain text version
can be found at the end of this email.

Thank you.

Sincerely,
Gunther Reissig

====================================================================
Gunther Reißig, Dr. habil.
Professor

Bundeswehr University Munich
Department of Aerospace Engineering
LRT-15, Institute of Control Engineering

85577 Neubiberg (Munich)
Germany
--------------------------------------------------------------------
E-Mail: gunther.reissig at unibw-muenchen.de
WWW:	http://www.reiszig.de/gunther/
FAX:    +49-89-6004-4565 
Skype:  guntherreissig
====================================================================

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).
* 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: July 28, 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
http://www.reiszig.de/gunther/
Email: gunther2016 at reiszig.de, Subject: Postdoc ref 9y22x
-------------- next part --------------
A non-text attachment was scrubbed...
Name: AusschreibungEmailA.pdf
Type: application/octet-stream
Size: 41117 bytes
Desc: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20210716/7d351b72/attachment-0001.obj>