[madPL] Fwd: Two Postdoc positions: Formal methods in control (Munich, Germany), ref 9y23z

[Thomas Reps <reps@xxxxxxxxxxx>]

Sent from my Verizon, Samsung Galaxy smartphone
Get Outlook for Android

---

From: Gunther Reissig <gunther.reissig@xxxxxxxxxxxxxxxxx>
Sent: Wednesday, December 1, 2021 11:01:14 AM
To: Thomas Reps <reps@xxxxxxxxxxx>
Subject: Two Postdoc positions: Formal methods in control (Munich, Germany), ref 9y23z

 

Dear Professor Reps,
I would like to point you to the announcement of two Postdoc positions
in Munich, Germany, the city of the Oktoberfest. I am looking for
candidates with interests and experience in at least one of the
following fields:

* Optimal control
* semi-definite programming
* quadrature theory
* set-valued numerics
* reachability analysis
* validated floating-point arithmetic
* compiler design
* software development.

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@xxxxxxxxxxxxxxxxx
WWW:    http://www.reiszig.de/gunther/
FAX:    +49-89-6004-4565
Skype:  guntherreissig
====================================================================

Two Postdoc/PhD Research Positions in Munich, Germany

We invite applications for two post-doctoral researcher positions in
the field of formal methods, in Munich, Germany, the city of the
Oktoberfest. The successful candidates are expected to advance the
state of the art of abstraction-based synthesis and verification, to
facilitate routine and efficient application of the
approach. Depending on background and interests of each candidate, the
research focus will be either on theoretical foundations, or on
algorithms and software development.

Required qualifications:

* PhD degree in Mathematics, Systems and Control, Computer Science,
  or a related field. Exceptionally qualified and experienced
  candidates with an MSc degree will also be considered.

* Strong theoretical or mathematical background, and a strong interest
  in dynamical or control systems.
  In addition, experience in one of the following fields is required:
  Optimal control; semi-definite programming; quadrature theory;
  set-valued numerics; reachability analysis; validated floating-point
  arithmetic; compiler design; software development.

* Programming proficiency (C or Ada or Mathematica).

* 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 35000 net p.a.
(E-13/EUR 32700 for applicants with an MSc degree). Reimbursement
for travel expenses to conferences. No teaching load. The positions
are available immediately and for a duration until December 2023, with
possible extension contingent on research performance. They are 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: December 22, 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@xxxxxxxxxx, Subject: Postdoc ref 9y23z
Bundeswehr University Munich, Germany
Department of Aerospace Engineering
Institute of Control Engineering

Attachment: AusschreibungEmailA.pdf
Description: AusschreibungEmailA.pdf