[TYPES/announce] Open PhD position in Computer System Security in Marseille
Clara Bertolissi
clara.bertolissi at lif.univ-mrs.fr
Fri Jun 13 06:51:41 EDT 2008
=======================================================================
PhD Thesis in Computer System Security.
-----------------------------------------------------------------------
Domain: Information and Communication Science and Technology.
Area: Formal basis of Computer Science, Security.
=======================================================================
A grant for a PhD Thesis in computer system security will be available
at Laboratoire d'Informatique Fondamentale de Marseille (LIF), France,
with starting date in September 2008.
The subject of the thesis is the study of security aspects of
applications handling shared data in a distributed and dynamic environment.
Typically, shared data consists of XML documents respecting an associated
security policy which is described in one of the usual formats
(WS-SecurityPolicy, RBAC,...).
Required qualifications and skills
==================================
Masters Degree in Computer Science or equivalent.
Interest in theoretical aspects of computer science, formal methods and
techniques.
Fluency in a programming language such as Java.
Familiarity with the following topics will be appreciated:
computer security, security policies and access control, Web services,
XML, logics, symbolic resolution methods,
XML-oriented languages, XPath.
The working language is French or English. French skills, although
helpful, are not essential.
Contact:
========
Candidates who wish to apply have to send their curriculum vitae
including publication list
to Clara.Bertolissi at lif.univ-mrs.fr and Denis.Lugiez at lif.univ-mrs.fr.
Applications will be considered until the position has been filled.
For more information see http://www.lif.univ-mrs.fr/spip.php?article95
More information about the Types-announce
mailing list