The Coq mailing list

[David Monniaux <David.Monniaux AT imag.fr>]

Postdocs (and PhD students) wanted at VERIMAG (ERC STATOR project)

The ERC project “STATOR” (2012-2017) focuses on discovering new
algorithms for automatic proofs of program properties through static
analysis. Techniques under consideration include combinations of
abstract interpretation, automated theorem proving, and operation research.

The project considers both theoretical advances and practical validation
of these advances on real-world software. The postdocs will conduct
research within the project's goals, and may help in the supervision of
graduate/undergrad student researchers.

The ERC project “STATOR” (2012-2017) focuses on discovering new
algorithms for automatic proofs of program properties through static
analysis. Techniques under consideration include combinations of
abstract interpretation, automated theorem proving, and operation research.

The project considers both theoretical advances and practical validation
of these advances on real-world software. The postdocs will conduct
research within the project's goals, and may help in the supervision of
graduate/undergrad student researchers.

For postdocs:
Applicants must have a PhD in computer science or a closely related
field and must be self-motivated and willing to take the initiative in
research. Background in program analysis, experience with compiler-based
frameworks (e.g., LLVM), SMT-solving, linear and semidefinite
programming, and/or policy iteration, are desirable. We realize that
candidates are likely not to be expert in all these fields, but they
still should have sufficient knowledge on a significant proportion
thereof and be ready to learn the rest they should need.

The term of the postdoc is one year, renewal is possible.

For graduate students:
Applicants must have a master’s degree (French M2R or equivalent) in
computer science or a closely related field and must be self-motivated
and willing to take the initiative in research. Background in program
semantics and/or operation research, are desirable.

(We remind applicants that French PhD programs include limited classes
and thus that most graduate classes should be taken, as part as a
research master’s degree, prior to admission within the PhD program.
Applicants with bachelor’s degrees, or computer engineering degrees, may
still be considered, but are likely to be required to obtain a research
masters first.)

The term of the PhD funding is three years.

Research will take place at the VERIMAG laboratory in Grenoble, France.
VERIMAG is a joint research laboratory of Université Joseph Fourier
(UJF) and CNRS, a national research organization. The postdoc will be an
employee of UJF and enjoy associated benefits (unemployment, retirement
and health, etc.).

Starting date: as soon the project is officially started (projected
date: January 1, 2013); later dates also possible.

If interested, please send a CV, research statement, and the names of
three references with their email addresses to Dr David Monniaux
<David.Monniaux AT imag.fr>, senior researcher at CNRS, and principal
investigator of the project.