"Games for Synthesis" project (G4S).
What is the science about: G4S is a 3-year project to work on the theory
and practice of both controller synthesis and program synthesis, using
games and reinforcement learning. Feel free to ask me for details!
The non-scientific part. The position is for two years and can start as
early as October 2021 (flexible). The salary is roughly 2100€ per month
after tax (includes health insurance), which is comfortable to live in
Bordeaux, a beautiful city close to the ocean and the Pyrenees Mountains
(also, have you heard of the wine?). There are no teaching duties included,
but there are many interesting teaching opportunities.
Please contact me if you have any questions (firstname.lastname@labri.fr),
and forward this announcement to whoever may be interested.
**********************************************************
*
* 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
