[ecoop-info] PhD position on language semantics in Rennes, France

[Benoit Combemale]

Dear all, 

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.

Sincerely, 

--
Benoit Combemale, PhD in Computer Science
Associate Professor, Univ. Rennes 1 (IRISA & ESIR)
Research Scientist at Inria (secondment)
http://people.irisa.fr/Benoit.Combemale