Animation and exchanges in the Petri Nets community

[Laure Petrucci <address@concealed>]

Dear colleagues,

A PhD position is open at LIPN (Université Sorbonne Paris Nord) jointly with 
i3S (Université Côte d’Azur):

Co-Verification of Parametric Timed Automata and Event-B Models

This PhD is part of the ANR project TAPAS (Time-Aware Proof ASsistants, 
https://frederic-mallet.github.io/anr-tapas/) which aims at a sound 
methodology for the
design of trustworthy cyber-physical systems (CPS) from requirements to code 
deployment, supported by an open-source modeling, validation and verification 
framework.
The objective of this PhD is to provide approaches to verification benefiting 
from both model checking Parametric Timed Automata and the Event-B 
methodology.

A complete description can be found at 
https://frederic-mallet.github.io/anr-tapas/jobs/phd2/

Candidates should apply by sending an email to the PhD supervisors, Laure 
Petrucci (address@concealed) and Frédéric Mallet 
(address@concealed) including:
- a CV
- a motivation letter
- the transcripts from the Master studies

The PhD is expected to start on October 1st, 2025, or later depending on the 
selected applicant’s availabilty.

Best regards,
— 
----------------------------------------------------------------------
Laure Petrucci
address@concealed 
<mailto:address@concealed>
LIPN, CNRS UMR 7030
Institut Galilée - Université Paris Sorbonne Paris Nord
99 Avenue Jean-Baptiste Clément,
F-93430 Villetaneuse, FRANCE
tel:[+33 1]/[01] 49 40 37 41
----------------------------------------------------------------------

Attachment: signature.asc
Description: Message signed with OpenPGP