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.
https://drive.google.com/file/d/1K5seavShh4Qe6Yx9Tf2il7qzPvaDt7en/view?usp=sharing

Title: Interaction Specification Mining
Field : Specification mining, Formal methods, Rewriting techniques,
Cybersecurity
https://drive.google.com/file/d/1t9NpKiqyKzEAaQVfCSD3DcVkTDVbVG7t/view?usp=sharing

Kind regards,

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

-- 
Boutheïna.

############################


Unsubscribe:

[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:

https://LISTSERV.ACM.ORG/SCRIPTS/WA-ACMLPX.CGI?GETPW1

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

https://LISTSERV.ACM.ORG/SCRIPTS/WA-ACMLPX.CGI?SUBED1=PODC