Open PhD and Internship Offers in 2025

Most recent news

(list of all news)

Interview for Curieux.live!

(24 December 2025)

I had the chance to answer questions from Florence Heimburger for the magazine curieux.live!, a site aimed at science-curious teenagers. The starting point was to understand why we should—or should...


Seminar on Competitions at Dagstuhl

(29 October 2025)

It had been quite a while since I last had the pleasure of returning to Dagstuhl Castle. This week is also a return to an old topic: competitions and empirical...


Interview in the Science et Vie Special Issue on AI

(20 October 2025)

I’ve had the privilege for some time of occasionally answering journalists’ questions about the impacts of AI on society, thanks to the Trustworthy AI Chair which has increased the visibility...


AI Act Afternoon by the Trustworthy AI Chair

(06 October 2025)

October 13th: afternoon of presentation and exchanges on the AI Act! Listen, question and understand the AI Act An afternoon of explanations, theoretical insights and applied experience feedback to develop...


Science & Vie Roundtable — Fête de la Science

(01 October 2025)

On the eve of the official launch of Fête de la Science 2025, and at the offices of the Ministry of Higher Education, I took part in a roundtable organized...

Thanks to the funding from the Trustworthy AI chair, I have several very interesting funding opportunities for master’s internships. Additionally, thanks to a Google Award received at the end of 2024, I also have a research engineer position and research internships available around SAT and the parallelization of constraint solving.

These offers will be open in January 2025. If you are interested in hybrid AI to enhance trust in black-box machine learning systems, feel free to contact me.

I also have the possibility to offer internships (and sometimes PhDs) on topics at the heart of SAT research.


Parallelization CSP / SAT (Master’s Internship)

Start Date: February 2025

SAT, Logic, Constraint Programming, Parallelization

Location: LaBRI, Bordeaux Computer Science Research Laboratory, Talence, France

(This Master’s internship is funded by the Google Award 2024)

This Master’s internship aims to explore the parallelization of SAT solvers, focusing on formulas derived from constraint-expressed problems. Despite advances in solving SAT problems, leveraging modern parallel architectures remains a challenge. The internship aims to study how to optimize task sharing to improve solving efficiency, particularly by judiciously selecting sub-problems to be addressed based on available resources. Candidates should have strong knowledge in Programming.

Link to the topic


Mitigating Bias in LLMs (Master’s Internship)

Start Date: February 2025

SAT, Logic, Constraint Programming, Parallelization

Location: LaBRI, Bordeaux Computer Science Research Laboratory, Talence, France

(This Master’s internship is funded by the Google Award 2024)

This Master’s internship at LaBRI, funded by the “Trustworthy AI” chair, focuses on studying biases in text generation by large language models. While advances in machine learning open up new applications, understanding and explaining the decisions made by these models remain obstacles to their adoption, especially in critical contexts. The internship aims to establish a state of the art on biases present in these systems, focusing on specializing a model to reduce biases without human supervision. Candidates should have strong knowledge in machine learning, symbolic AI, and good programming skills.

Link to the topic