[TYPES/announce] Master2 internship proposal

[Samir Chouali]

(Apologies if you receive multiple copies of this message)

Hello,

We are looking for a candidate for  Master2 internship (research and 
development)  in the field of formal verification by Model-Checking and 
component-based systems.

The details can be found in the document in attachment.

Please forward this e-mail  to Masters students who may be interested




Regards


Samir Chouali

-- 
Samir Chouali
Associate Professor/Maître de Conférences
University Franche-Comté, France
DISC Department, FEMTO-ST Institute, UMR CNRS 6174
phone: +33(0)381994776

-------------- next part --------------
A non-text attachment was scrubbed...
Name: M2Internship_chouali.pdf
Type: application/pdf
Size: 59091 bytes
Desc: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190405/25fdf393/attachment-0001.pdf>