Dear Professor Buttazzo, 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.
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: email@example.com WWW: http:/www.reiszig.degunther FAX: +49-89-6004-4565 Skype: guntherreissig ====================================================================
Two PostdocPhD 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.
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-13EUR 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.degunther Email: firstname.lastname@example.org, Subject: Postdoc ref 9y23z Bundeswehr University Munich, Germany Department of Aerospace Engineering Institute of Control Engineering
Posted by: buttazzo