Postdoctoral position at LIAFA
------------------------------
LIAFA is opening a postdoctoral research
position on
Verification of programs with dynamic memory
The position is part of a french research project involving
academic and industrial partners.
The projects aim is to provide methods for automatic verification
of software. We particularly concentrate on aspects related to
the use of dynamic memory structures (such as lists, trees, etc.).
For this kind of software we aim to develop methods
to verify among other properties the absence of intrinsic errors
like null-pointer dereferences.
The project intends to extend existing (symbolic) model-checking
techniques to handle programs with dynamic memory.
Prototype tools implementing our techniques will be
developed.
The position is for one year with a possible extension of another year.
Research group:
The researcher will work in the Modelisation and Verification group of
the LIAFA (www.liafa.jussieu.fr) laboratory.
The groups interests are verification of software, infinite state
model-checking, timed systems, etc.
LIAFA is an academic research center affiliated with CNRS (French national
research center) and Paris University 7.
We are located in the 13th district of Paris close to the city center.
Qualifications:
The applicant should have a PhD in Computer Science, with knowledge
in at least one of the following fields:
- Static Analysis
- Logic
- Automatic verification
- Theorem proving
Knowledge of the french language is not required.
Contact:
For further information and applications, send email to
[EMAIL PROTECTED]
Your application should include a detailed CV and the name
of two references.
--
Peter Habermehl e-mail: [EMAIL PROTECTED]
LIAFA - Case 7014 telephone: +33 1 44 27 28 39
Universite Paris 7
2, place Jussieu fax: +33 1 44 27 68 49
75251 Paris Cedex 05, France web: www.liafa.jussieu.fr/~haberm
Bureau: 175, rue du Chevaleret 75013 Paris, Bur. 6A13
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
