Hi all,

Please consider these two internship opportunities:
(Internship with the possibility of pursuing a PhD thesis)

Title: Runtime Verification of Distributed Systems against Timed Symbolic Models
Field : Real-time verification, formal methods, distributed systems, IoT, cybersecurity.

Title: Interaction Specification Mining
Field : Specification mining, Formal methods, Rewriting techniques, Cybersecurity

Kind regards,

Boutheina Bannour
System Requirements and Conformance Laboratory
CEA LIST, http://www-list.cea.fr/
01 69 08 26 25 



[log in to unmask]

If you don't already have a password for the LISTSERV.ACM.ORG server, we recommend that you create one now. A LISTSERV password is linked to your email address and can be used to access the web interface and all the lists to which you are subscribed on the LISTSERV.ACM.ORG server.

To create a password, visit:


Once you have created a password, you can log in and view or change your subscription settings at: