[TYPES/announce] Fully-funded PhD position at Inria Lille (France)

[Simon Bliudze]

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


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190405/a9f00917/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 488 bytes
Desc: OpenPGP digital signature
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190405/a9f00917/attachment-0001.asc>