[TYPES/announce] PhD position at LIFO, in Foundations or Applications of Security

[David Rajchenbach-Teller]

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.