Software Safety and Security Lab., Commissariat à l'Energie Atomique (CEA)

PhD Position

AI for Software Verification

We are looking for a Ph.D. student to join (September/October 2022) the Software Safety and Security Lab., Commissariat à l’Energie Atomique (CEA), Paris-Saclay, France.

Following recent promising results [1], the candidate will pursue a Ph.D. degree in Computer Science in AI for Software Verification, studying application of constraint acquisition to automated software specification inference.

The research activity will get coordinated by Sébastien Bardin (CEA Paris), Nadjib Lazaar (LIRMM, Montpellier) and Arnaud Gotlieb (Simula, Oslo).

The interested applicants can find all the details of the proposition and the information on how to apply in this document.

Applicants should contact via email Sébastien Bardin, Nadjib Lazaar and Arnaud Gotlieb with:

  • A full curriculum vitae, including a summary of previous research experience.
  • A transcript of higher education records.
  • A one-page research statement discussing how the candidate’s background fits the proposed topic.
  • Two support letters of persons that have worked with them.

[1] Grégoire Manguy, Sébastien Bardin, Nadjib Lazaar, Arnaud Gotlieb: Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition. IJCAI-ECAI 2022.