Friday, April 7, 2017

[DMANET] Three post-doc positions in computer science at GSSI, L'Aquila (Italy) - Call for applications

The Gran Sasso Science Institute (GSSI - http://www.gssi.it) offers 18
postdoctoral positions. Three of these positions are dedicated to
Computer Science and more specifically to themes that are strongly
connected to the PhD program in Computer Science, namely:
- Algorithmic aspects of social and computer networks including (but not
limited to) distributed systems, optimization, game theory, analysis of
complex networks, and algorithm engineering;
- Software systems and services, with emphasis on model-based approaches
to support their development at different stages: design, testing,
implementation, evaluation and maintenance;
- Specification and analysis of concurrent reactive systems, with
emphasis on languages and models for describing such systems,
specification formalisms such as temporal logics, and algorithms and
tools for computer-aided verification.

The application must be submitted through the online form available at
http://www.gssi.it/postdoc/
Applicants must hold a PhD degree or an equivalent qualification.
The annual gross salary is EURO 36,000 gross.

The deadline for application is:
May 15, 2017 at 6 pm (Italian time zone).

For more information, please consult the Call for Applications at
http://www.gssi.it/postdoc/ or write an email to info@gssi.it.
A description of research in computer science at GSSI is available at
http://cs.gssi.it

Feel free to share this announcement as you see fit and encourage strong
candidates to apply.
**********************************************************
*
* 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/
*
**********************************************************