Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Postdoc position: Formal methods in control (M...

view this post on Zulip Email Gateway (Jul 16 2021 at 14:44):

From: Lawrence Paulson <>
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:

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):

All documents should be in English or German.

Gunther Reissig
Email:, Subject: Postdoc ref 9y22x

Last updated: Dec 08 2021 at 09:20 UTC