<div dir="ltr">Carissimi,<div> mi è stato chiesto di comunicarvi questo annuncio relativo a posizioni postdoc a Monaco</div><div>potenzialmente di nostro interesse.</div><div><br></div><div>Buona giornata,</div><div>Giulio<br clear="all"><div><div dir="ltr" data-smartmail="gmail_signature"><div dir="ltr"><p style="margin-top:0px;margin-bottom:1rem;color:rgb(25,25,26);font-family:"Titillium Web",Geneva,Tahoma,sans-serif;font-size:18px"><span style="font-family:Arial,Helvetica,sans-serif;font-size:small;color:rgb(34,34,34)"><br></span></p><p style="margin-top:0px;margin-bottom:1rem;color:rgb(25,25,26);font-family:"Titillium Web",Geneva,Tahoma,sans-serif;font-size:18px"><span style="font-family:Arial,Helvetica,sans-serif;font-size:small;color:rgb(34,34,34)"><br></span></p><p style="margin-top:0px;margin-bottom:1rem;color:rgb(25,25,26);font-family:"Titillium Web",Geneva,Tahoma,sans-serif;font-size:18px"><span style="font-family:Arial,Helvetica,sans-serif;font-size:small;color:rgb(34,34,34)"><br></span></p><p style="margin-top:0px;margin-bottom:1rem;color:rgb(25,25,26);font-family:"Titillium Web",Geneva,Tahoma,sans-serif;font-size:18px"><span style="font-family:Arial,Helvetica,sans-serif;font-size:small;color:rgb(34,34,34)"><br></span></p><p style="margin-top:0px;margin-bottom:1rem;color:rgb(25,25,26);font-family:"Titillium Web",Geneva,Tahoma,sans-serif;font-size:18px"><span style="font-family:Arial,Helvetica,sans-serif;font-size:small;color:rgb(34,34,34)"><br></span></p><p style="margin-top:0px;margin-bottom:1rem;color:rgb(25,25,26);font-family:"Titillium Web",Geneva,Tahoma,sans-serif;font-size:18px"><span style="font-family:Arial,Helvetica,sans-serif;font-size:small;color:rgb(34,34,34)">==============================</span><span style="font-family:Arial,Helvetica,sans-serif;font-size:small;color:rgb(34,34,34)">==============================</span><span style="font-family:Arial,Helvetica,sans-serif;font-size:small;color:rgb(34,34,34)">========</span><br></p></div></div></div><div class="gmail_quote"><div class="gmail_quote">
<br>
Two Postdoc/PhD Research Positions in Munich, Germany<br>
<br>
We invite applications for two post-doctoral researcher positions in<br>
the field of formal methods, in Munich, Germany, the city of the<br>
Oktoberfest. The successful candidates are expected to advance the<br>
state of the art of abstraction-based synthesis and verification, to<br>
facilitate routine and efficient application of the<br>
approach. Depending on background and interests of each candidate, the<br>
research focus will be either on theoretical foundations, or on<br>
algorithms and software development.<br>
<br>
Required qualifications:<br>
<br>
* PhD degree in Mathematics, Systems and Control, Computer Science,<br>
or a related field. Exceptionally qualified and experienced<br>
candidates with an MSc degree will also be considered.<br>
<br>
* Strong theoretical or mathematical background, and a strong interest<br>
in dynamical or control systems.<br>
In addition, experience in one of the following fields is required:<br>
Optimal control; semi-definite programming; quadrature theory;<br>
set-valued numerics; reachability analysis; validated floating-point<br>
arithmetic; compiler design; software development.<br>
<br>
* Programming proficiency (C or Ada or Mathematica).<br>
<br>
* Efficient communication skills in English.<br>
<br>
The position is full-time and paid according to pay scale ``TVOeD<br>
Bund, E 14''. Actual income depends on marital status and professional<br>
experience, and starts from EUR 35000 net p.a.<br>
(E-13/EUR 32700 for applicants with an MSc degree). Reimbursement<br>
for travel expenses to conferences. No teaching load. The positions<br>
are available immediately and for a duration until December 2023, with<br>
possible extension contingent on research performance. They are open<br>
to applicants worldwide; no special security clearance necessary.<br>
<br>
Your complete application consists of the following documents, which<br>
should be sent as a single PDF file to the email address given<br>
below (deadline: December 22, 2021):<br>
<br>
* CV<br>
* One-page cover letter (clearly indicating available start date as<br>
well as relevant qualifications, experience and motivation)<br>
* University certificates and transcripts (BSc, MSc and PhD degrees)<br>
* Up to three letters of recommendation<br>
* List of publications<br>
* Possibly an English language certificate<br>
<br>
All documents should be in English or German.<br>
<br>
Gunther Reissig<br>
<a href="http://www.reiszig.de/gunther/" rel="noreferrer noreferrer" target="_blank">http://www.reiszig.de/gunther/</a><br>
Email: <a href="mailto:gunther2016@reiszig.de" rel="noreferrer" target="_blank">gunther2016@reiszig.de</a>, Subject: Postdoc ref 9y23z<br>
Bundeswehr University Munich, Germany<br>
Department of Aerospace Engineering<br>
Institute of Control Engineering</div>
</div></div></div>