[Hol-info] Postdoctoral research position in cybersecurity at Inria Rennes, Brittany, France

2018-03-24 Thread Olivier Zendra
Dear all, Inria Rennes (Tamis team) is recruiting a Postdoctoral Researcher in computer science and engineering in security for the TeamPlay European project (2018-2020). The position is available now. Additional details below. Best regards, Olivier Zendra **

[Hol-info] Multiple Positions at FAU Erlangen/Nürnberg

2018-03-24 Thread Michael Kohlhase
The KWARC group [1] at FAU Erlangen-Nürnberg [2] is looking for Ph.D. candidates and PostDocs in multiple projects. Details and an up-to-date listing can be found at [3]. We are always interested in candiates with strong backgrounds and interests in Logic, Language, and Mathematics. Currently we a

[Hol-info] Call for papers - FOCLASA 2018

2018-03-24 Thread Jacopo Soldani
16th International Workshop on Foundations of Coordination Languages and Self-adaptive systems (FOCLASA 2018) Toulouse, France / June 26, 2018 http://foclasa.lcc.uma.es/ PUBLICATIONS * Publication of the proceedings in the Lecture Notes of Computer Science of Springer-Verlag, following th