[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
A PhD position in Security is to be filled in CEA [1] (Commissariat à l’Énergie Atomique) and team SDS [2] (Security of Distributed Systems, part of Laboratoire d’Informatique Fondamentale d’Orléans [3]), in France, on the topic of Mandatory Access Control for Distributed Systems, under the administrative supervision of Mathieu Blanc (CEA) and Christian Toinard (SDS). Studentship is for three years and (renewable) and includes a salary rising from €1990.25/month (during years 1 and 2) to €2049.75/month (during year 3). The earliest start date is October 1st, 2008. ** Profile and skills The ideal candidate should have an excellent undergraduate degree/Master 2 in Computer Science and an interest in either System Security or Formal Methods. Candidates should have a background in one or more of the following areas: * system security * operating systems * distributed systems * system programming * clusters * static analysis * graph theory * theory of concurrency * logics * denotational semantics * operational semantics * foundations of trust. Candidates should be eligible to work in France and should expect to work on-campus in ENSIB [4] (École Nationale Supérieure d’Ingénieurs de Bourges). They will work on the theory and/or implementation of effective and manageable enforcement mechanisms for security policies in distributed systems such as clusters and grids. The main objective of this PhD is to build upon existing local enforcement mechanisms for security policies to design (and, if possible, implement) techniques which may be applied for large distributed systems, as used for data analysis or numeric analysis. ** Application procedure To apply, please send your resume and a motivation letter, either by e-mail or by paper-mail, to both Christian Toinard [5] and Mathieu Blanc [6]. If possible, join a sample of your academic work. The application process entails a background check by the French Department of Defense. [1] http://www.cea.fr [2] http://www.sds-project.fr [3] http://www.univ-orleans.fr/lifo/index.php?lang=en [4] http://www.ensi-bourges.fr [5] http://www.univ-orleans.fr/lifo/pageperso.php?id=25&lang=fr [6] http://www-instn.cea.fr/Publication_Sujet.php3?nomfichier=SL-DAM-08-014&lang=FR&id_rubrique=70 -- David Teller-Rajchenbach Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Angry researcher: French Universities need reforms, but the LRU act brings liquidations. -- David Teller-Rajchenbach Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Angry researcher: French Universities need reforms, but the LRU act brings liquidations.