PhD student position in computer security, Rennes (France)

Looking for a Ph.D. thesis that combines computer security and mathematics? IRISA, the computer science laboratory of Rennes in France, seeks to hire an outstanding Ph.D. student to perform research in the field of formal modeling and analysis of security.

The position is within the project entitled "Attack-Defense Trees for Computer Security: Formal Modeling of Preventive and Reactive Countermeasures". Attack-defense trees constitute a methodology to represent how an attacker may compromise a system and how a defender can protect it against potential attacks. The project's objective is to increase the expressive power of attack-defense trees by integrating reactive countermeasures into the formalism.

We offer a three year appointment funded by the French Ministry of Higher Education and Research. The successful candidate will participate in the activities of the Embedded Security and Cryptography (EMSEC) research team co-led by Prof. Dr. Gildas Avoine and Prof. Dr. Pierre-Alain Fouque. The student will be supervised jointly by Dr. Barbara Kordy and Prof. Gildas Avoine.

Applications will be considered on a rolling basis until the position is filled. For more information, see http://people.irisa.fr/Barbara.Kordy/vacancies.php or http://people.irisa.fr/Barbara.Kordy/vacancies/PhD_16.pdf, or contact dr. Barbara Kordy at barbara.kordy at irisa.fr.