student) at the Formal Methods in Systems Engineering group at TU Wien,
Vienna, Austria. The successful candidate will be supervised by Prof.
Florian Zuleger, and co-supervised by Benjamin Aminof, PhD.
The proposed research will apply formal methods (logics and automatic
methods enabling temporal and strategic reasoning) for the verification and
synthesis of multi-agent systems and their interaction with realistic
environments. The work has strong connections to artificial intelligence,
distributed computing, and mobile agents/robots.
The position is available immediately, a starting date until Fall 2019 is
intended. The position is for 3 years.
APPLICATION
The application should include the candidate's CV, an abstract of their
diploma/masters thesis, a short motivation letter, and two letters of
recommendation (all five items in a single pdf file; letters of
recommendation can also be sent directly). The application should also
mention possible starting dates and should be sent to zuleger@forsyte.at.
Informal inquiries with Prof Zuleger are welcome. A first screening of
applications will start on May 6, 2019.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
