[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

PhD Position in Computer System Security

       Laboratoire d'Informatique Fondamentale (LIF)
       University Aix-Marseille 1, France

Applications are invited for a PhD position within the Modelling and
Verification Research Group at the Laboratoire d'Informatique 
Fondamentale (LIF).
The research will be conducted under the supervision of Prof. Denis 
Lugiez (group leader) and Dr. Clara Bertolissi.

* Research topics:

This position is devoted to research on secure software and languages,
* collaborative editing;
* security policies and access control for XML data;
* logic and type systems for security;
* declarative programming languages for secure software.

* Profile & skills

- Clear interest in and knowledge of the subject, based on education
or research experience
- Masters in Computer Science or Informatics
- Prior knowledge in the areas of security, XML-oriented languages, 
formal and symbolic resolution methods is an advantage.

* About MoVe

The Modelling and Verification (MoVe) research group is part of LIF and
works on a wide range of topics at the borderline between logic and
informatics focusing in particular on the design, analysis, and 
synthesis of softwares.
More information on projects and publications can be found on the web page:

* About Marseille

Located on the south east coast of France on the Mediterranean, Marseille
is one of France's oldest cities dating back more than 2000 years. It 
was one of Europe's most important ports in maritime history and now it 
has grown into a lively  cosmopolitain city, just within 3 hours from 
Paris by TGV.
For more information, see http://www.marseille-tourisme.com/en/in-marseille/

* Further Information and Application Procedure

Details about the PhD subject are available at

Those interested in the position are asked to send e-mail to the address

An application will include:

    1. A cover letter stating the applicant's interest in the project.

    2. A full curriculum vitae, including an abstract of the applicant's
       master's thesis and the complete list of publications.

Applications will be considered until the position is filled, but those
received on or before 15 August 2008 will have priority.

The PhD position is for 3 years.
The start date is 1 September 2009.

Denis Lugiez, Prof. Computer Science,
Laboratoire d'Informatique Fondamentale de Marseille CMI,
39 r Joliot-Curie F-13453 Marseille Cedex 13
Tel: +33 4 91 11 36 23 Fax: +33 4 91 11 36 02

Reply via email to