[ecoop-info] PhD position on language semantics in Rennes, France
benoit.combemale at irisa.fr
Wed Apr 20 10:18:14 CEST 2016
We are in the process of securing a PhD grant (we need to submit the CV of the PhD candidates by mid-may) related to computer security, language specification and packet filtering policies. The position is described in the attached file and summarized below.
The PhD thesis will be hosted in the DiverSE team of Inria in Rennes, France (http://www.inria.fr/en/teams/diverse <http://www.inria.fr/en/teams/diverse>). The work involves the study and implementation of theories and techniques for the formal specification and analysis of packet filtering languages based on reuse. The proposed solution should allow to define new language semantics by combining previously defined semantics fragments. The work will likely involve the implementation of language semantic theories (for example, weakest precondition calculus for predicates and transformations over records) using model-based techniques.
Interested candidates should send a CV and cover letter to Gurvan.Le_Guernic(AT)inria.fr <http://inria.fr/> by the beginning of May.
Benoit Combemale, PhD in Computer Science
Associate Professor, Univ. Rennes 1 (IRISA & ESIR)
Research Scientist at Inria (secondment)
More information about the ecoop-info