PhD position in either Applied Security or Foundations of Security
August 16, 2008 § Leave a comment
A PhD position in Security is to be filled in CEA (Commissariat à l’Énergie Atomique) and team SDS (Security of Distributed Systems, part of Laboratoire d’Informatique Fondamentale d’Orléans), 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 (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
- static analysis
- graph theory
- theory of concurrency
- denotational semantics
- operational semantics
- foundations of trust.
Candidates should be eligible to work in France and should expect to work on-campus in ENSIB (É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.
To apply, please send your resume and a motivation letter, either by e-mail or by paper-mail, to both Christian Toinard and Mathieu Blanc. If possible, join a sample of your academic work. The application process entails a background check by the French Department of Defense.
Tagged: cea, clusters, commissariat à l'énergie atomique, computer science, concurrency, distributed systems, distribution, enforcement mechanisms, ensi, ensib, formal methods, france, graduate, grant, graphs, grids, implementation, ipsec, ipv6, job offer, linux, logics, networks, operating system, phd, position, sds, security, security policy, selinux, semantics, static analysis, system programming, theory, thesis, trust, undergraduate