[TYPES] postdoc opening in VERIMAG, Grenoble (France)

Radu Iosif Radu.Iosif at imag.fr
Wed Nov 9 09:49:08 EST 2005

The VERIMAG laboratory has a vacancy for a post-doctoral position on:

        Development of Automatic Techniques for Software Verification

*** Project description

Within the past decade, push-button verification techniques (e.g. model 
checking, SAT solving, etc.)
have become commonplace in the development of hardware systems. An 
integration of such methods
with software development is highly required by the manufacturers of 
critical and embedded software
(avionics, telecom, public transport, etc.). However, the rather 
sophisticated nature of software
(complex data structures, recursion, multithreading) pose interesting 
theoretic and practical problems
to the developers of automatic analysis and verification methods.   

The goal of this project is to adress concrete verification problems
of real-life software. Research areas include, but are not limited to:

- Hoare logic
- generation of invariants
- infinite-state model checking
- static analysis (abstract interpretation)

*** Research group

The research will take place in the Distributed and Complex Systems
group (http://www-verimag.imag.fr/~async/) of the research laboratory
VERIMAG. The members of this group focus on a wide range of problems such as
program verification, computer security, testing and synthesis,
component-based development, etc. VERIMAG is an academic research 
laboratory affiliated
with CNRS (French National Research Center), UJF (University  Joseph 
and INPG (National Polytechnic Institute of Grenoble).  

*** Qualifications

The applicants must have a PhD in Computer Science, with knowledge in at 
least one of the following fields:

- first-order, higher-order logics, proof theory, arithmetic theories
- formal languages, automata theory, rewriting

Previous experience in the domain of verification is not required, but 
may be considered a plus. Knowledge
of the French language is not required.

*** Contact

For further information and applications, send email to Radu.Iosif at imag.fr

More information about the Types-list mailing list