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.
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.
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 : November 1, 2012) ; 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> , senior researcher at CNRS, and principal investigator of the project.