Fully-funded PhD position at Inria Lille (France)

Dear colleagues,

We are hiring a PhD student on a fully-funded position at the Inria Lille team Spirals (https://team.inria.fr/spirals/) to work on the

Design of correct-by-construction self-adaptive cloud applications using formal methods.

Applications should be submitted at the Inria jobs website by 22/04/2019:

https://jobs.inria.fr/public/classic/fr/offres/2019-01375

Detailed information available on my web-site:

http://www.bliudze.me/simon/2019/04/design-of-correct-by-construction-self-adaptive-cloud-applications-using-formal-methods/

Thanks in advance for spreading the word!

Best regards,

Simon Bliudze