[Turkmath:1910] Fwd: PhD position (Munich, Germany), ref 1777

[cenap ozel]

---------- Forwarded message ----------
From: *Gunther Reissig* <gunther.reissig at unibw-muenchen.de>
Date: Thursday, January 26, 2017
Subject: PhD position (Munich, Germany), ref 1777
To: cenap.ozel at gmail.com


Dear Cenap Ozel,
I would like to point you to the announcement of a PhD position,
and I would appreciate if you could advertise or distribute it.
The announcement is attached as a pdf file. Plain text
versions can be found at the end of this email as well as at the
following address:

https://www.linkedin.com/pulse/phd-position-formal-methods-control-munich-
germany-gunther-reissig

Thank you.

Sincerely,
Gunther Reissig

====================================================================
Gunther Reißig, Dr. habil.
Privatdozent
Head, Control Laboratory of the Chair of Control Engineering

University of the Federal Armed Forces Munich
Department of Aerospace Engineering
LRT-15, Institute of Control Engineering

85577 Neubiberg (Munich)
Germany
--------------------------------------------------------------------
E-Mail: guntherABCD at reiszig.de <javascript:;> (replace "ABCD" with current
calendar year)
WWW:    http://www.reiszig.de/gunther/
FAX:    +49-89-6004-4565
Skype:  guntherreissig
====================================================================

PhD position: Formal methods in control (Munich, Germany)
=========================================================

We invite applications for a doctoral researcher position in the
field of formal methods in control. The successful candidate is
expected to advance theory of as well as computational methods for
abstraction-based controller synthesis, to a degree that facilitates
routine, fully automated, practical application of the approach to
nonlinear continuous-state plants and complex specifications. The
focus is on synthesis algorithms that are both efficient and formally
correct.

The project involves theoretical work, algorithm and software
development, and, on a small scale, experimental work. There is no
teaching requirement and no coursework to be completed. Competitive
salary is offered according to the tariff ``TVOeD Bund, E 13''.

Required qualifications:
* MSc degree (or equivalent, giving access to doctoral studies) in
  Electrical Engineering, Mathematics, Computer Science, or a related
  field. Students about to complete their MSc will also be considered.
* Excellent academic record, showing a strong theoretical/mathematical
  background and a strong interest in dynamical systems.
* Proficiency in programming (C or Ada/SPARK).
* Excellent communication skills in English (CEFR level C1).

In addition, experience in one of the following fields would be a
plus: Set-valued or validated numerics; dynamic programming;
formal methods in control; reactive synthesis;
professional-grade software development.

Your complete application consists of the following documents, which
should be sent as a single PDF file to the email address given below
(deadline: Feb 15, 2016):

* CV with photo
* One-page cover letter (clearly indicating available start date as
  well as relevant qualifications, experience and motivation)
* University certificates and transcripts (both BSc and MSc degrees)
* Contact details of up to three referees
* Possibly an English language certificate and a list of publications

All documents should be in English, with the exception of university
certificates and transcripts, which may also be in German. The
position is open to applicants worldwide; no special security
clearance necessary.

Priv.-Doz. Dr. habil. Gunther Reissig
Email: gunther2014 at reiszig.de <javascript:;>, Subject: PhD ref 1777
Web:   http://www.reiszig.de/gunther/

University of the Armed Forces Munich, Germany
Department of Aerospace Engineering
Institute of Control Engineering
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://yunus.listweb.bilkent.edu.tr/pipermail/turkmath/attachments/20170126/1a909dbc/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: AusschreibungEmailA.pdf
Type: application/pdf
Size: 32076 bytes
Desc: not available
URL: <http://yunus.listweb.bilkent.edu.tr/pipermail/turkmath/attachments/20170126/1a909dbc/attachment-0001.pdf>