May 31, 2016
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 doctoral 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".
Description of work
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. The main tasks of the Ph.D. student will be to
The candidate is expected to have
Background in computer security will be a plus. Knowledge of French is not required.
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. IRISA is located in Rennes at the heart of the beautiful Brittany region in the north-west of France. Rennes is situated 60km from the Atlantic Ocean, 60km from the UNESCO World Heritage Site of Mont Saint-Michel, and 70km from the charming city of Saint Malo. Direct high-speed rail service (TGV) connects Rennes with the center of Paris within 2 hours and with the France's largest international airport Paris Charles de Gaulle (CDG) within 3 hours.
Applications should be written in English and include the following documents/
Applications will be considered on a rolling basis until the position is filled. Documents should be submitted by e-mail to dr. Barbara Kordy (email@example.com).
For further inquiries please contact dr. Barbara Kordy (firstname.lastname@example.org)