[ 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,
including:
* 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:
http://www.lif.univ-mrs.fr/spip.php?article89
* 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
http://www.lif.univ-mrs.fr/spip.php?article=95
Those interested in the position are asked to send e-mail to the address
clara.bertoli...@lif.univ-mrs.fr
and
denis.lug...@lif.univ-mrs.fr.
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
