Fwd: [LOGIC] CfA: Ma thesis (with pot. follow-up PhD position), Rennes (France), deadline: asap

[Camilo Thorne]

---------- Forwarded message ---------
From: [LOGIC] Mailing List via Math.Logic <math....@lists.uni-hamburg.de>
Date: Thu, Sep 19, 2024 at 2:06 PM
Subject: [LOGIC] CfA: Ma thesis (with pot. follow-up PhD position), Rennes (France), deadline: asap
To:

Hello everybody,

I am proposing a master level project (master thesis or internship
project) on formal modeling of ceremonies, with a possibility to
continue on a follow-up PhD position. The work will take place at IRISA,
in Rennes, France.

Keywords: formal methods, security, ceremonies, protocols, security
properties, verification.

A detailed description of the topic is available here
https://people.irisa.fr/Barbara.Fila/vacancies/master_thesis_ceremonies.pdf

Could you please forward this message to potentially interested students
and colleagues? Thank you.

With best regards,
Barbara Fila
https://people.irisa.fr/Barbara.Fila
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php