Login | Register
My pages Projects Community openCollabNet

Discussions > The Developers' mailing list > [verimag-news ] PostDoc Position at VERIMAG

Discussion topic

Back to topic list

[verimag-news ] PostDoc Position at VERIMAG

Author Marius Bozga <Marius dot Bozga at imag dot fr>
Full name Marius Bozga <Marius dot Bozga at imag dot fr>
Date 2005-11-14 04:13:48 PST
Message 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.i​mag.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 dot Iosif at imag dot fr

« Previous message in topic | 1 of 1 | Next message in topic »


Show all messages in topic

[verimag-news ] PostDoc Position at VERIMAG Marius Bozga <Marius dot Bozga at imag dot fr> Marius Bozga <Marius dot Bozga at imag dot fr> 2005-11-14 04:13:48 PST
Messages per page: