We are looking for talented interns, PhD students and
post-docs! Here are our current open offers:
Duration: 4 to 6 month
Étant donné un texte clinique synthétique généré à l’aide d’un modèle de langue, on cherche à savoir si des informations confidentielles concernant les patients dont les données sont présentent dans les corpus ayant servis à construire le modèle peuvent se retrouver dans les textes générés. Les t...
Duration: 4 to 6 months
The aim of this internship is to study the applicability of variable substitutions to accelerate SMT solvers on neural network formal verification. To do so, the intern will use the CAISAR open-source platform to manipulate the neural networks control flow as logical formulaes. A suggested SMT so...
If you think you will be a fit for our team but don’t find a
specific offer, you can also reach out for a spontaneous
application. We will gladly consider those as well.
Our field is at the crossroads of formal verification and artificial
As it is not realistic to be expert in both fields, we encourage candidates that do not meet the full qualification requirements to apply nonetheless.
The candidate will be monitored by at least two research engineers of the team.
If you are interested in this internship, please send by email to one of the person listed on the contact page an application containing:
- your resume;
- a cover letter indicating how your curriculum and experience match the qualifications expected, and how you would plan to contribute to the project;
- at least your bachelor and master 1 transcripts;
- the contact details of two persons (at least one academic) who can be contacted to provide references.
Applications are welcomed until the position is filled. Please note that the administrative processing may take up to 3 months, so we strongly encourage you to apply diligently and answer as quickly as possible when prompted with administrative documents.