[ 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