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 doctoral students will conduct research within the project’s goals.
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 at UJF 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 students will be registered as PhD students at UJF, with the principal investigator as primary advisor, and will be employees of UJF and enjoy associated benefits (unemployment, retirement and health, etc.) in addition to their salary.
Starting date : as soon the project is officially started (projected date : November 1, 2012) ; later dates also possible, e.g. so as to synchronize with the university year (September 1st, 2013 or October 1st).
If interested, please send a CV, research statement, and the names of two references with their email addresses to Dr David Monniaux <David.Monniaux> , senior researcher at CNRS, and principal investigator of the project.