---------- Forwarded message --------- From: [LOGIC] Mailing List via Math.Logic <math.lo...@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 -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAJPxwscJrDPWN0QZttOwcj42sPBmd1GC6oa-YUW%2BVzuNnyAZuw%40mail.gmail.com.
