+100 stages de rechrche PFE en France 2025

Découvrez une sélection exceptionnelle de plus de 100 stages de recherche PFE en France, couvrant des domaines variés tels que l'informatique, les mathématiques appliquées, la mécanique, l'électrique, l'énergétique, et bien plus encore. Que vous soyez passionné par les algorithmes, l’intelligence artificielle, la cryptographie, ou les systèmes énergétiques, cette liste vous aidera à trouver le stage idéal pour enrichir vos compétences et booster votre carrière académique. Prenez le temps d'explorer chaque offre et contactez directement les encadrants pour postuler !

Zero-Knowledge proofs based on hard latticeproblems, with applications to crypto custody and post-quantummulti-party signatures, with Matthieu Rambaud at Telecom Paris, palaiseau; show comments
Weiqiang Wen
Mesure et analyse énergétiques de pipelines HPC en radio-astronomie, with Anass Serhani at Inria, Lyon; show comments
Co-advisors: Laurent LEFÈVRE (Inria); Shan MIGNOT (Observatoire de la Côte d'Azur)
Smoothed Analysis: Bridging Theory and Practice in Dynamic Networks, with Ami Paz at LISN: CNRS & Paris-Saclay University, Gif-sur-Yvette; show comments
Distributed Dynamic Graph Algorithms, with Ami Paz at LISN: CNRS & Paris-Saclay University, Gif-sur-Yvette; show comments
Lower bounds on provenance and counting for recursive queries, with Antoine Amarilli at Inria Lille, Lille; show comments
Scalable Translation Validation for High-Performance Computing and Machine Learning, with Christophe Alias at Inria Lyon, Lyon; show comments
Poursuite en thèse possible (financement disponible)
Re-computation and Memory Consumption in Parallelism Models for training Deep Neural Networks, with Julien Herrmann at CNRS / IRIT / APO, Toulouse; show comments
availability for a subsequent PhD
Re-computation and Memory Consumption in Parallelism Models for training Deep Neural Networks, with Julien Herrmann at CNRS / IRIT / APO, Toulouse; show comments
Availability for a subsequent PhD
Exploring pipelining methods for a variable-width high-precision floating point arithmetic unit, with Andrea BOCCO at CEA - LIST, Grenoble; show comments
This payed internship is founded by CEA-LIST in the LSTA laboratory in Grenoble. The starting date will be the 03/03/2025
Rigorous development of database backends, with Marc Shapiro at Sorbonne-Université (Campus Jussieu)— LIP6 & Inria, Paris (France); show comments
Internship funding available; may lead to a PhD
A Kubernetes-based backend for the Varda distributed programming language, with Marc Shapiro & Alessio Pagliari at Sorbonne-Université (Campus Jussieu)— LIP6 & Inria, Paris (France); show comments
Internship funding available; may lead to a PhD
Verification for the Varda distributed programming language, with Marc Shapiro at Sorbonne-Université (Campus Jussieu)— LIP6 & Inria, Paris (France); show comments
Co-advisor : Ahmed Bouajjani (IRIF) & Alessio Pagliari (LIP6) ; funding available; leads to PhD
Composition et communication directe entre fonctions serverless, with Alessio Pagliari at Sorbonne-Université (Campus Jussieu)— LIP6, Paris (France); show comments
Co-encadrant : Marc Shapiro; indemnité de stage ; préparation au doctorat
Side-Channel Attacks on Post-Quantum Cryptography and Hybridation, with THOMAS ROCHE at NinjaLab, MONTPELLIER; show comments
Side-Channel Attacks on Elliptic Curve Cryptography, with VICTOR LOMNE at NinjaLab, MONTPELLIER; show comments
Augmented democracy in participatory budgeting, with Umberto Grandi at IRIT, University Toulouse Capitole, Toulouse; show comments
the internship prepares the ERC Synergy "advancing digital democratic innovation" starting in 2025: https://erc.europa.eu/news-events/news/synergy-grants-2024-examples-projects (bottom of page)
Demixing latent representations in generative self-supervised learning, with Ricardo Borsoi at CNRS, CRAN, Université de Lorraine, Nancy; show comments
Konstantin Usevich, Marianne Clausel
Hydrology-guided underground model for realistic terrains, with Guillaume Cordonnier at Inria, Sophia Antipolis; show comments
Co-advised by Adrien Bousseau, collaboration with BRGM, can be extended to a PhD
Analyzing Mean Payoff Games Using Sums-of-Squares, with Mateusz Skomra at LAAS-CNRS, Toulouse; show comments
Curved folding with inflatables, with Mélina Skouras at Inria, Montbonnot; show comments
Funding for a PhD available
Global (Graph) Transformation, with Luidnel Maignan at https://www.lacl.fr/, Créteil, Ile de France; , funding to be discusses depending on the situation, possible application for a PhD.)) { ?> show comments
Co-advisor: Antoine Spicher , funding to be discusses depending on the situation, possible application for a PhD.
Incertitude de mouvement, with Francis Colas at Inria, Villers lès Nancy; show comments
English speaking candidature accepted, subsequent PhD planned + ... - cf 2nd URL
Gender Dynamics in Collaboration Networks, with Rosa Figueiredo at Laboratoire Informatique d'Avignon, Avignon; show comments
The internship can be followed by a PhD funded by the EVA project.
Private Sparse Histograms and Implementation in Open Source Library, with Aurélien Bellet at Inria, Montpellier; show comments
Generative AI Techniques for Network Management, with Francesco Bronzino at ENS Lyon, Lyon; show comments
Collaboration with University of Chicago. Continuation for a PhD possible (and encouraged)
Dynamic model serving for network traffic analysis, with Francesco Bronzino at ENS Lyon, Lyon; show comments
Collaboration with University of Chicago. Continuation for a PhD possible (and encouraged)
Approximate algorithms with performance guarantee for Fair Combinatorial Optimization, with Patrice Perny at LIP6, Sorbonne Université, Paris; show comments
Co-advisors : Nawal Benabbou (LIP6), Viet-Hung Nguyen (LIMOS)
Computational Design of Evolving Porous Structures, with Jonàs Martínez at Inria, Nancy; show comments
Inria PhD track: the internship is followed by a PhD offer at Inria
Heterogenous Architectures For Particle Reconstruction in High Energy Physics, with Adriano Di Florio (CC-IN2P3) at CC-IN2P3, Lyon; show comments
CPJ ANR Funding, co-advisor: Felice Pantaleo (CERN), 4-6 months, possibility of a PhD thesis. See details in the document.
GTTP: Global Tracking Transfer Protocol, with Desgeorges Loïc at University Claude Bernard, Lyon; show comments
Setting up an observer (based on federated learning) to detect anomalies., with Desgeorges Loïc at University Claude Bernard, Lyon; show comments
Formalizing the Optimization Problem for a Secure Multicontroller SDN Network., with Desgeorges Loïc at University Claude Bernard, Lyon; show comments
Anomaly Detection in Link Streams, with Maroua Bahri at Sorbonne Universite, LIP6; show comments
Mehdi Naima : mehdi.naima@lip6.fr
Learning-based optimization for power systems, with Victor Magron at LAAS CNRS, Toulouse; show comments
According to their preference, the M2 intern will be hosted either at LAAS CNRS Toulouse or at RTE in Paris La Défense, and jointly supervised by Milan Korda, Victor Magron from LAAS, as well as by Balthazar Donon and Patrick Panciatici from the RTE company. Upon successful completion of the M2 internship, a Cifre PhD position may be a possibility in the context of the industrial chair "Combining Polynomial Optimization and Machine Learning (POPML4PS)", part of the ANITI 2 AI cluster, funded for the period 2025-2028. This PhD position would be located at LAAS CNRS, and jointly supervised with RTE.
Polynomial optimization for time-delayed power systems, with Victor Magron at LAAS CNRS, Toulouse; show comments
According to their preference, the M2 intern will be hosted either at LAAS CNRS Toulouse or at RTE in Paris La D´efense, and jointly supervised by Didier Henrion, Victor Magron from LAAS, as well as by Patrick Panciatici and Manuel Ruiz from the RTE company.
IA et analyse d'images pour l’aide à la colposcopie, with Isabelle Bloch at Sorbonne Université, LIP6, Paris; show comments
Compression of large dynamic graphs, with Binh-Minh Bui-Xuan at Sorbonne Université, Paris; show comments
co-advisor : Mehdi Naima, email: mehdi.naima@lip6.fr
Incremental Maintenance of Queries on Dynamic Trees, with Antoine Amarilli at Inria Lille, Lille; show comments
Co-advisor: Charles Paperman
Enumerating Simple Paths Satisfying a Regular Path Query, with Antoine Amarilli at Inria Lille, Lille; show comments
Co-advisor: Mikaël Monet
Online estimation of Sobol indices, stochastic mirror descent optimisation algorithm, with Thierry Klein at IMT , Toulouse; show comments
Co advisor: Sébastien Gadat (TSE), funded by ANR, possible PhD Grant
Online estimation of Sobol indices, stochastic mirror descent optimisation algorithm, with Thierry Klein at IMT , Toulouse; show comments
Co advisor: Sébastien Gadat (TSE), funded by ANR, possible PhD Grant
Identification of image circulation in large collections ofhistorical photographs, with Isabelle Bloch at Sorbonne Université, LIP6 (I.Bloch), Paris; show comments
2 internships, one at LIPADE (co-advised by C. Kurtz and F. Cloppet), and one at LIP6, with potential extensions to PhD theses
Semantics and types for synchronous programming with state machines in a multi-periodic setting, with Patrick Baillot, Julien Forget, Sylvain Salvati at CRIStAL, Lille; show comments
The internship can be funded (gratification de stage). It can continued by a PhD thesis, by applying for a contrat doctoral of Université de Lille.
Auditing Practical Privacy Guarantees of Differentially Private Machine Learning Models, with Aurélien Bellet at Inria, Montpellier; show comments
Opportunity to continue as a PhD student after the internship
Realistic models of personal networks, with Lionel Tabourier at LIP6 (Sorbonne Universite / CNRS), Paris; show comments
co-advisor: Mehdi Naima
Sensitivity Analysis for kernel testing with applications to Single Cell Genomics, with Bertrand Michel at Ecole Centrale de Nantes / Université de Nantes, Nantes; show comments
Co - advisor : Franck Picard, ENS Lyon
Spatial Processes for Single-Cell Transcriptomics, with Franck Picard at CNRS - ENS Lyon, Lyon; show comments
Co - advisor : Jean-Francois Coeurjolly, Grenoble
Generalization of Graph Neural Networks on Large Graphs, with Nicolas Keriven at IRISA, CNRS, Rennes; show comments
PhD on ERC grant
Kleene Algebra with Tests for probabilistic programs, with Patrick Baillot at CRIStAL, Lille; show comments
Co-advisor: Leandro Gomes. The internship can be funded (gratification de stage). It fits in the ANR project HOPR and can continued by a PhD thesis, by applying for a contrat doctoral of Université de Lille.
Reasoning on the execution time of programs with Kleene Algebra with Tests, with Patrick Baillot at CRIStAL, Lille; show comments
Co-advisor: Leandro Gomes. The internship can be funded (gratification de stage). It fits in the ANR project HOPR and can continued by a PhD thesis, by applying for a contrat doctoral of Université de Lille.
Learning a Regularizer by Approximating the Patch Manifold, with Giovanni S. Alberti at Machine Learning Genoa Center (MaLGa), University of Genoa, Genoa, Italy; show comments
Co-advised by Johannes Hertrich (University College London). Funding for the internship may be available. I am potentially available for a subsequent PhD.
Mathematics of Adaptive Acquisitions for Hyperspectral Single-pixel Imaging, with Jérémy Cohen at CNRS CREATIS, Villeurbanne (Lyon); show comments
Co advisor Nicolas Ducros, , nicolas.ducros@creatis.insa-lyon.fr
Machine Learning and Brains, for the study of epilepsy: detection of the epileptogenic zone from iEEG and MEG, with Pierre BORGNAT (DR CNRS), Adrien MEYNARD (MCf ENSL), Paulo Gonçalves (DR Inria, OCKHAM) at Laboratoire de Physique, ENS de Lyon, CNRS UMR 5572, équipe Sisyphe, Lyon; show comments
Funding for internship and possible follow-up in PhD thesis already obtained from an ANR project.
: Utilisation des Modèles de Langage Visuels (VLM) pour l'Extraction des Éléments du Contexte Routier à partir de Vidéos GoPro 360 et l'Évaluation des Risques Routiers, with Abderrahmane BOUBEZOUL at SATIE, Paris Saclay; show comments
Generative models of chemotaxis and phototaxis, with Grégoire Sergeant-Perthuis at LCQB, Sorbonne Université, PARIS; show comments
6 months funding
Tensorial approaches in causal discovery, with Marianne Clausel at University of Lorraine, Nancy; show comments
The internship could lead to a PhD thesis coadvised by R. Borsoi and K. Usevich
GenAI for causality, with Marianne Clausel at University of Lorraine, Nancy; show comments
The internship could led to a PhD thesis co advised by R. Borsoi (CRAN) and K. Usevich (CRAN)
Logic for differential privacy of functional programs, with Patrick Baillot at CRIStAL, Lille; show comments
The internship can be funded (gratification de stage). It fits in the ANR project HOPR and can continued by a PhD thesis funded by this ANR project.
Infering Logical Abstractions of Reaction Networks by Neural Networks , with Joachim Niehren at Inria Center of the University of Lille, Lille; show comments
Direction with Cristian Versari and Aurélien Lemay. ANR Project Rebon with funding for PhD project available.
Copoints enumeration in graph convexities, with Oscar Defrain at LIS, Aix Marseille Université, Marseille; show comments
Co-advised by Victor Chepoi & Simon Vilmin, funds available for intern + subsequent PhD as part of an ANR JCJC project.
Analyse des activités de régulation sur Stack Overflow, with Maxime MORGE at LIRIS - Université Lyon 1, Lyon; show comments
Ce stage s’inscrit dans le projet RORES-CL : « Rôles et réseaux sociaux dans les com- munautés en ligne. Le cas de la plateforme Stack Overflow ». Il bénéficie du soutien financier du CNRS à travers les programmes interdisciplinaires de la MITI. Ce stage s’appuie sur la complémentarité des expertises du laboratoire Clersé (Centre lillois d’études et de recherches sociologiques et économique) à l’Université de Lille et du laboratoire LIRIS (Laboratoire d’InfoRmatique en Image et Systèmes d’information) à l’université Claude Bernard Lyon 1. Il sera co-encadré par Maxime MORGE, profes- seur d’Informatique et Fabien ELOIRE, professeur de Sociologie. Les réunions seront hebdomadaires. Le/la stagiaire disposera d’un espace de travail dans le bâtiment Nautibus au cœur du campus scientifique de la Doua.
Mise en œuvre d’un algorithme décentralisé à base de consensus pour l’allocation de tâches, with Maxime MORGE at LIRIS - Université Lyon 1, Lyon; show comments
Ce stage s’inscrit dans le projet MAS4Data qui s’appuie sur la complémentarité des expertises du laboratoire CRIStAL (Centre de Recherche en Informatique, Signal et Automatique de Lille) à l’Université de Lille et du laboratoire LIRIS (Laboratoire d’In- foRmatique en Image et Systèmes d’information) à l’université Claude Bernard Lyon 1. Il sera co-encadré par Maxime MORGE, professeur d’informatique et Anne-Cécile CARON, maîtresse de conférences en Informatique. Les réunions de stage seront hebdomadaires. Le/la stagiaire disposera d’un espace de travail dans le bâtiment Nautibus au cœur du campus scientifique de la Doua.
Orientations and Connectivity, with Florian Hörsch at CISPA, Saarbrücken; show comments
Monotonous multi-thread programming, with Dumitru Potop Butucaru at Inria Paris, Paris; show comments
Potential PhD continuation. Co-advisor Jean-Marie.Madiot@inria.fr. Collaboration with Airbus.
Embedded Machine Learning Programming, with Dumitru Potop Butucaru at Inria Paris, Paris; show comments
Potential PhD continuation. Collaboration with Valeo and Google DeepMind.
Conception d'un langage de programmation quantique de bas niveau, with Ryan Kavanagh at Université du Québec à Montréal, Montréal, Québec, Canada; show comments
The linked description describes the first half of a 2-year MSc project. Our MSc students spend 50% of time on courses, so an intern should be able to make significant progress in 5 months if working full time without courses. Funding for this project is contingent on if I am awarded an FRQ grant for it in April. A successful internship can result in a funded PhD on logical/type theoretic foundations of concurrency theory or quantum programming languages.
Exploring the functoriality of approximate posteriors for sheaf-structured models, with Grégoire Sergeant-Perthuis at LCQB Sorbonne Université, PARIS; show comments
6 months funding
Inferencing Logical Abstractions of Reaction Networks by Neural Networks, with Joachim Niehren at Inria Center of the University of Lille, Lille; show comments
Direction with Cristian Versari and Aurélien Lemay. ANR Project Rebon with funding for PhD project available.
Utilisation des champs de Markov pour le nommage d'embryons d'ascidie, with Gregoire Malandain at INRIA, Sophia Antipolis; show comments
Co-advisor: Xavier Descombes. Possibility pf a subsequent PhD
Mathematical modeling and analysis for biological rhythms of 12 hours, with Madalena Chaves at Centre Inria d'Universite Cote d'Azur, team MACBES, Sophia Antipolis; show comments
This internship is part of the project OSCILLA12, in the “Masters Environneés” program at Université Côte d’Azur, in collaboration with the Circadian Systems Biology team of Franck Delaunay and Michele Teboul. The funding is for 6 months, and there is the possibility of applying for a subsequent PhD thesis.
Exact Register Allocation in the Jasmin Certified Compiler, with Vincent Laporte at Inria Nancy, Nancy; show comments
Funding for the internship and subsequent PhD (may this happen) granted by PÉPR SVP
Perturbed graph and distributed proximal splitting algorithms, with Silvia Villa at MaLGa, Università degli studi di Genova, Italy, Genoa, Italy; show comments
Co-advisor: Emanuele Naldi (emanuele.naldi@unige.it)
Safe Composition of Jasmin & Rust for High-Assurance Cryptography, with Vincent Laporte at Inria Nancy, Nancy; show comments
Funding for the internship and subsequent PhD (may this happen) granted by PÉPR SVP
Fast and high-quality computational imaging with simple lenses, with Paul Escande at CNRS, Toulouse; show comments
Co-advised with Emmanuel Soubies (https://www.irit.fr/~Emmanuel.Soubies/). Potential PhD in October 2025
Matching markets: the role of correlation on efficiency and equity, with Patrick Loiseau at Inria, Palaiseau; show comments
Co-advised by Bary Pradelski from Oxford
Data selection and Shapley value in the linear case, with Patrick Loiseau at Inria, Palaiseau; show comments
Optimal graph exploration with partial observations in a stochastic and competitive environment, with Prof. Y. HAYEL at Avignon Université, Avignon; show comments
Co-advisor Prof. De Pellegrini, availability for a subsequent PhD
Développement de protocoles cryptographiques pour un vote électronique (plus) sûrs dans la vraie vie, with Alexandre Debant at Inria, Nancy; show comments
Le stage est co-encadré avec Lucca Hirschi et financé via le PEPR Cybersécurité. Une poursuite en thèse avec un financement garanti est possible.
Convergent plug & play schemes for blind inverse problems, with Luca Calatroni at CNRS (moving to MaLGa, Università degli studi di Genova), Genova, Italy; show comments
Co-advisor: Silvia Villa (MaLGa, Università degli studi di Genova, Italy). Funding for the internship available. Possibility of PhD on ERC StG MALIN.
Implementation security of post-quantum digital signatures, with Antoon Purnal at PQShield, Remote or Paris (France); show comments
Cryptographic watermarking for preventing deepfakes in media data, with Thomas Prest, Thomas Espitau, Pierre-Yves Strub, Adrian Thillard at PQShield, Paris (France); show comments
Fixed-point implementation of Falcon and FN-DSA, with Thomas Prest at PQShield, Paris (France); show comments
Reconnaissance de programmes par réseaux de neurones de graphes, with Christophe Alias at Inria Lyon, ENS de Lyon, LYON; show comments
Co-advisors: Sid Touati, Professeur, Université de Nice; Enrico Formenti, Professeur, Université de Nice
Solving diversity problems, with Julien Baste at Université de Lille - CRIStAL, Lille; show comments
This is also supervised by Marie-Émilie Voge. This internship can be followed by a PhD on a larger project.
Towards formally verified configuration languages, with Helene COULLON at IMT Atlantique, Nantes; show comments
PhD funding available after the internship. Co-advisor Frederic Loulergue (LIFO Orléans) expert in Coq and formal methods. Funded by For-CoaLa ANR project.
Learned Exact Relaxations for Sparse Optimization, with Luca Calatroni ; Emmanuel Soubies at Università degli studi di Genova (Italy) ; CNRS (France), Genova (Italy) ; Toulouse (France); show comments
Funding for the internship is available. Possibility of a subsequent PhD on the topics of the ERC StG MALIN at the University of Genova or other opportunities to be discussed witht the interested candidate.
Advanced Search Algorithms for Program Synthesis, with Nathanaël Fijalkow at CNRS, LaBRI, Bordeaux; show comments
Co-advisor: Gabriel Bathie
Reinforcement learning for building energy systems control, with Jiamin ZHU at IFP Energies nouvelles (IFPEN), Rueil-Malmaison; show comments
PhD possible dans le cadre INRIA - IFPEN
Coloring graphs or digraphs, with Ararat Harutyunyan at University Paris-Dauphine, PSL, Paris; show comments
Funding not available this year; open to co-supervision with another professor in the Paris or Lyon region if the student desires
Rounding Error Analysis of Fast Fourier Transforms for Deep Learning Applications, with Claude-Pierre Jeannerod at Inria AriC (LIP, ENS de Lyon), Lyon; show comments
Co-advisors: N. Brisebarre, T. Mary, J.-M. Muller and J. Picot
Machine Learning of Natural Language Processing for polarity analysis in Political Economy, with Sébastien Gadat at Toulouse School of Economics, TOULOUSE; show comments
Co-advisor: Manon Costa. Funded by Université Fédérale de Toulouse. Potential PhD grant
Certified Fast Fourier Transforms for Fast Arithmetic, with Jean-Michel Muller at CNRS, LIP, ENS Lyon, Lyon; show comments
Co-advisors: N. Brisebarre, C.-P. Jeannerod, T. Mary and J. Picot
Formalisation des aspects dynamiques de lath ́eorie des bigraphes dans Coq, with Celia Picard at ENAC, Toulouse; show comments
Co encadrement par Cyril Allignol (ENAC) et Xavier Thirioux (ISAE Supaero), gratification possible, thèse financée possible à la suite du stage
Concentration of the geometry of empirical risks, with Paul Escande at CNRS, Toulouse; show comments
Co-advised with Franck Iutzeler (https://www.iutzeler.org/). Potential PhD in October 2025
Internship with possible 3-year PhD position in Statistics - Machine Learning for Biological processes in IARC (World Health Organization), Lyon, France, with Yohann De Castro at Institut Camille Jordan, Lyon; show comments
Based at IARC (WHO) among a team working on the project (2 Post-Docs, 2 Seniors)
Calculer avec les nombres à virgule flottante dans un contexte critique, with Danko Ilik at Centre national d'études spatiales, Paris; show comments
stage financé par le CNES, pas de continuation prévue en PhD, convient aussi en tant que stage de master M1 (possibilité d'y inclure le TER)
Réseaux Lipschitz pour la représentation neuronale implicite de simulations physiques, with Paul Novello at IRT Saint Exupery, Toulouse; show comments
Please fill the application form found at https://taleez.com/apply/ingenieur-e-stagiaire-reseaux-lipschitz-pour-la-representation-neuronale-implicite-de-simulations-physiques-toulouse-irt-antoine-de-saint-exupery?utm_source=irt-saint-exupery&utm_medium=career
Energy Problems for ω-automata, with Philipp Schlehuber-Caissier at RST Telecom SudParis - NeSS SAMOVAR, EVRY; show comments
The internship is supervised 50/50 by Philipp Schlehuber-Caissier and Sven Dziadek (INF Telecom SudParis - ACMES SAMOVAR). It can be located either at the campus in Evry or Palaiseau.
Simulation sociospatiale à base d’agents des exploitations agricoles et du territoire de la moyenne vallée du Litani dans la Bekaa, Liban, with Benoit Gaudou et Mehdi Saqalli at University Toulouse Capitole - IRIT lab, Toulouse; show comments
The internship is funded as the standard in France.
Regional clustering for deep space communication, with Olivier De Jonckère at LIRMM - MAORE, Montpellier; show comments
Co-supervision with Michaël Poss
Recanalisation prediction for stroke patient, with Sofia Vargas Ibarra at IBISC - Paris Saclay, Evry-Courcouronnes; show comments
Vincent Vigneron
Validated numerics and formal proof for differential equations, with Florent Bréhard at CRIStAL, CNRS, Université de Lille, Villeneuve d'Ascq; show comments
coadvisor: Damien Pous (ENS Lyon)
Validated numerical software for algebraic curves with singularities, with Florent Bréhard at CRIStAL, CNRS, Université de Lille, Villeneuve d'Ascq; show comments
coadvisor: Adrien Poteaux ; we have a funding for a PhD in this topic
Analysing Petri Nets with Higher Dimensional Automata, with Hugo Bazille, Philippe Schlehuber-Caissier at LRE, Telecom SudParis, Courcouronnes; show comments
Internship will take place at Telecom SudParis, with possible visits at Epita (Rue Voltaire, Le Kremlin-Bicêtre) and the campus at of Télécom SudParis in Palaiseau (Marguerite Perey, Palaiseau ).
Algorithmic aspects of arithmetic theories with division, with Alessio Mansutti at IMDEA Software Institute, Madrid; show comments
Position can be fully funded and extended to a PhD.
Detecting the tool and the filter lists used by ad blocking solutions, with Pierre Laperdrix at CNRS, Lille; show comments
Computational real algebraic geometry with a view towards optical system design, with Mohab Safey El Din at Sorbonne Université, Paris; show comments
Co-advisor: Audric Drogoul (Thalès Aliéna Space). Availability for a subsequent PhD
A nerve net approach to the runtime verification of LTL properties, with Rajshekar Kalayappan at Indian Institute of Technology Dharwad, Dharwad; show comments
Co-advisor: Ramchandra Phawade (IIT Dharwad); funding for the internship: not available; availability for a subsequent PhD: available without funding support
Development of Parameterized Algorithms for Accurate Graph Statistic Publications under Local Differential Privacy, with Vorapong Suppakitpaisarn at The University of Tokyo, Tokyo; show comments
There might be some RA funding available. The interns can apply for a Ph.D. program at our graduate school after internship.
Sequential Matching Games, with Felipe Garrido Lucero at IRIT, Université Toulouse Capitole, Toulouse; show comments
No funding. Availability for subsequente PhD.
Beyond worst-case for distributed graph algorithms, with Laurent Feuilloley and Théo Pierron at Université de Lyon et CNRS, Lyon; show comments
Optimal quantization of ReLU neural networks, with Rémi Gribonval, Elisa Riccietti at Inria, ENS Lyon, Lyon; show comments
The internship is funded as the standard in France. Collaboration with Théo Mary (CNRS, Sorbonne). Availability for a subsequent PhD.
Learning to reconstruct from noisy data alone with applications to astronomical imaging., with Julian Tachella at CNRS & ENS Lyon, Lyon; show comments
Co-advisor Loic Denis (https://perso.univ-st-etienne.fr/deniloic/). Funding available for subsequent PhD.
On Byzantine fault tolerance in dynamic networks, with Binh-Minh Bui-Xuan et Sébastien Tixeuil at LIP6, CNRS -- SU UPMC., Paris; show comments
Binh-Minh Bui-Xuan et Sébastien Tixeuil
Détection de défauts sur les réseaux ferroviaires via des modèles Transformers et leur déploiement sur des architectures embarquées GPU, with Abderrahmane BOUBEZOUL at Chargé de recherche - HDR, Paris Saclay; show comments
Dans le cadre d’une collaboration entre la SNCF et le laboratoire SATIE de l’ENS Paris-Saclay, ce stage sera encadré par : Alain RIVERO, SNCF : alain.rivero@reseau.sncf.fr Abderrahmane BOUBEZOUL, SATIE : abderrahmane.boubezoul@univ-eiffel.fr Sergio RODRIGUEZ, SATIE : sergio.rodriguez@universite-paris-saclay.fr Abdelhafid EL OUARDI, SATIE : abdelhafid.el_ouardi@ens-paris-saclay.fr
Infinite-state strategies for infinite-state quantitative systems, with Sougata Bose, Mickael Randour, Pierre Vandenhove at Université de Mons, Mons; show comments
Though internships are usually not paid in Belgium, financial support can be discussed.
Learning to predict the response to antidepressant drugs, with Andrea Simonetto at ENSTA Paris, Palaiseau; show comments
Co-advised by Prof. Wissam El Hage (MD, PhD) and Helene Clogenson (PhD) at the CHRU Tours; Fully funded
MÉTHODES MATHÉMATIQUES ET NUMÉRIQUES POUR L’ÉTUDE ET LA CONCEPTION D’ÉOLIENNES ET D’HYDROLIENNES À AXE HORIZONTAL, with Julien Salomon at Sorbonne Université & INRIA, Paris; show comments
Co-advised by Philippe Druault
Schema-based Property Graph Data Integration, with Angela Bonifati at Université Claude Bernard Lyon 1 and IUF, Lyon or Grenoble; show comments
Rachid Echahed, paid internship according to French regulation, possibility to continue as a PhD student
Advancing Explainable AI in Medical Imaging, with Dr. Vandana Bharti at IIT Dharwad, Dharwad; show comments
There is no funding available for the internship. However, funding will be provided for the subsequent PhD, if selected.
Sensorimotor representation learning of manipulable objects, with Jean-Charles Quinton, Mathieu Lefort, Frédéric Armetta at Univ Lyon 1 - LIRIS, Villeurbanne; show comments
Jean-Charles Quinton (LJK, Grenoble, main location of the internship), Frédéric Armetta (LIRIS, Lyon) / A PhD on this subject will open in September 2025
Classification des packings de l’espace projectif fini PG(3,3), with Nicolas MAGAUD at Lab. ICube UMR 7357 CNRS Université de Strasbourg, France, STRASBOURG; show comments
Ce stage donne droit à la gratification de stage standard dans un laboratoire de recherche français. Une poursuite en thèse est envisageable via un contrat de l’école doctorale MSII.
Mise en place d’un algorithme d’optimisation multi-fidélités appliqué au cas de dimensionnement des machines électriques, with Andre Nasr at IFP Energies nouvelles, 1 et 4 avenue de Bois-Préau, 92852 Rueil-Malmaison, France, Rueil-Malmaison; show comments
Quantified reachability properties for provably explainable AI, with Sylvie Putot at LIX, CNRS & Ecole Polytechnique, Palaiseau; show comments
Co-advised by Eric Goubault; subsequent PhD grant funded by the SAIF projet (Safe Artificial Intelligence through Formal Methods) of the PEPR IA
Learning with heavy-tailed inputs: Out-of-domain Generalization on Extremes, with Sabourin Anne at MAP5, Université Paris Cité, Paris; show comments
Internship as a prequel for a PhD funded by "Agence Nationale de la Recherche"
Optimisation de ressources via l’apprentissage statistique dans les réseaux de capteurs aéronautiques, with E. Veronica Belmega at Université Gustave Eiffel (UGE), CNRS, LIGM , Marne-la-Vallée ; show comments
Structured Binary Polynomial Optimization, with Silvia Di Gregorio at Université Sorbonne Paris Nord & Laboratoire d'Informatique de Paris Nord, Villetaneuse; show comments
The duration of the internship is between 4 and 6 months. The starting date is flexible. We can offer the minimal compensation. Successful completion of the internship may lead to the opportunity to pursue a PhD within our research group.
Reinforcement Learning on a Diet, with Emmanuel Rachelson at ISAE-SUPAERO, Toulouse; show comments
Topic will be defined by mutual agreement, based on the current research interests of the team and of the intern.
Causality-aware temporal graphs with connectivity constraints, with Binh-Minh Bui-Xuan and Marcelo Dias de Amorim at LIP6, CNRS – SU UPMC, Paris; and Marcelo Dias de Amorim )) { ?> show comments
Binh-Minh Bui-Xuan and Marcelo Dias de Amorim
Vérification de propriétés sur les graphes temporels - vers un métathéorème, with Nathalie Sznajder et Binh-Minh Bui-Xuan at LIP6, CNRS – SU UPMC, Paris., Paris; et Binh-Minh Bui-Xuan )) { ?> show comments
Nathalie Sznajder et Binh-Minh Bui-Xuan
Algorithmic and Complexity Analysis of Computational Social Choice Problems, with Jiehua Chen at TU Vienna, Vienna; show comments
New tools for quantum rebound attacks, with André Schrottenloher at Inria, Rennes; show comments
Funding for the internship amounts to 600€/month. A fully funded PhD position will be availabe afterwards, preferrably starting in Sept. 2024 due to the limited time-span of the funding (but this is open to discussion).
Multi-Perspective Reasoning with Standpoint Logic, with Lucia Gomez Alvarez at Université Grenoble Alpes, Inria, CNRS, Grenoble INP, LIG, France, Grenoble; show comments
Availability for a subsequent PhD
Impact of megafires on the equilibrium of forest ecosystems: simulation and study of a numerical model, with Guillaume Cantin at Nantes Université / LS2N, Nantes; show comments
Co-Advisors: Benoît Delahaye, Adam Ali. Paid Internship. Depending on the results of the internship, a follow-up PhD thesis might be considered.
Verification of neural networks by imprecise probabilities, with Sylvie Putot at LIX, Ecole Polytechnique, Palaiseau; show comments
co-advised by Eric Goubault; funding available for a subsequent PhD
The Snake Puzzle, with Yan Gerard at LIMOS , Clermont-Ferrand (or Arles); show comments
Co-Advisor : Guilherme Da Fonseca https://pageperso.lis-lab.fr/guilherme.fonseca/ - available for a subsequent PhD
Simplification-based physical attacks on lattice-based cryptosystems, with Brice Colombier at Laboratoire Hubert Curien, Saint-Étienne, France; show comments
Co-advised with Pierre-Louis Cayrel
Design and Analysis of Randomized Search Heuristics, with Benjamin Doerr at École Polytechnique, Palaiseau; show comments
Co-advised by Martin Krejca, funding available, continuation into a PhD project possible and desirable
Balanced coloring, with Reza NASERASR at IRIF, CNRS, Université de Paris, PARIS 13; show comments
The subject is rich enough to continue as Ph.D. One has to apply for scholarship to this end.
Enumération de quasi-cliques pour la contraction de très grands graphes, with Hamida SEBA at LIRIS- Université Lyon 1, Villeurbanne; show comments
Continuous Probabilistic Petri nets : specification and analysis, with Alain Finkel, Serge Haddad, Lina Ye at LMF, CNRS, Université Paris-Saclay, Ecole Normale Supérieure Paris-Saclay, Gif/Yvette; show comments
Identifying anomalies that explain other anomalies in epidemiology, with Charles Assaad at iPLesp, INSERM, Sorbonne Université, Paris; show comments
Possibility for a PhD
Cost-effective interventional design for identifying causal effects in summary causal graphs, with Charles Assaad at iPLesp, INSERM, Sorbonne Université, Paris; show comments
Possibility for a PhD
Optimal adjustability of causal effects, with Simon Ferreira at iPLesp, Sorbonne Université, INSERM, Paris; show comments
Co-advisor: Charles Assaad
Optimizing Programs with Sketch-Guided Polyhedral Compilation, with Thomas Koehler and Christophe Alias at CNRS, ICube Laboratory and Inria CASH, LIP Laboratory, Strasbourg or Lyon; show comments
Exploring Accuracy and Performance Trade-offs in Functional Array Programs, with Thomas Koehler and Eva Darulova at CNRS, ICube Laboratory and Uppsala University, Strasbourg (France) or Uppsala (Sweden); show comments
Numerical Analysis and Optimization of Functional Array Programs, with Thomas Koehler at CNRS, Team Inria CAMUS, ICube Laboratory, France, Strasbourg; show comments
The internship will be co-advised by Eva Darulova (eva.darulova@it.uu.se) and can also take place in Uppsala University, Sweden. Funding is available.
Optimization of minimizer-based k-mer partitioning for genomic sequences, with Camille Marchet at CNRS, Lille; show comments
Théorie métrique et structurelle des graphes, with Louis Esperet at G-SCOP, Grenoble; show comments
Dynamic Time Warping with duplication cost, with Gregory Kucherov at CNRS/Université Gustave Eiffel, Champs-sur-Marne; show comments
poursuite en PhD possible
Reasoning over Bounded First-Order Logic Ontologies, with David Carral at Inria, LIRMM, Université de Montpellier, Montpellier; show comments
This work will be co-advised by Piotr Ostropolski-Nalewaja. There is funding available for a student during 6 months and possibly also for a PhD after the project.
10 internship offers @ CEA List : AI - Computer Vision - Scene understanding, with CEA List - LVA at Laboratory of Vision and Learning for Scene Analysis (LVA), Palaiseau (91); show comments
Funded internships, opportunity to pursue a PhD or take a position as a research engineer.
Efficient sketching for frequency estimation for heavy-tail distributions, with Gregory Kucherov at CNRS/Université Gustave Eiffel, Champs-sur-Marne; show comments
poursuite en PhD possible
NP (non-deterministic polynomial time) & Analog computations., with Olivier Bournez at ECOLE POLYTECHNIQUE, PALAISEAU; show comments
Complexity Theory for Models of Deep learning. Complexity Theory for Models of Very Deep learning., with Olivier Bournez at ECOLE POLYTECHNIQUE, Palaiseau; show comments
Pairs of square-free arithmetic progressions in infinite words, with Pascal Ochem and Matthieu Rosenfeld at LIRMM, Montpellier; show comments
Explaining object detection models, with misbah razzaq at INRAe, Tours; show comments
Parameterized Complexity – Structural and Fine-Grained, with Michael Lampis at LAMSADE, Université Paris-Dauphine, Paris; show comments
Possbility of funding for internship through ANR project; Possibility of subsequent PhD
Modélisation informatique des erreurs de décisions d’un opérateur humain en aviation ou en médecine, with Nicolas Sabouret at Université Paris-Saclay, Orsay; show comments
Co-advisor: Frédéric Boulanger (frederic.boulanger@centralesupelec.fr). Funding through an ANR project, this is a preparation for a PhD in the same project
Reconstruction de mots par requêtes avec poids, with Gwenaël Richomme and Matthieu Rosenfeld at LIRMM, Montpellier; show comments
Comprendre, mesurer et renforcer la résilience d’un système en cas de crise humanitaire, with Giacomo Kahn at Université Lyon 2 -- Laboratoire DISP, Lyon; show comments
Co-advisors : Aurélie Charles, Guillaume Bouleux. Une thèse sur un financement ANR est prévue après.
Learning automata from their traces, with Eric Fabre at INRIA, Rennes; show comments
can be extended into a PhD (funding secured)
Topological matching for the compression of combinatorial maps, with Vincent Nivoliers at Université Claude Bernard Lyon 1 -- LIRIS, Lyon; show comments
Co advised by Guillaume Damiand, research director at CNRS -- LIRIS
Graph-Based Generation of Realistic City Networks, with Florian Sikora at LAMSADE, Paris; show comments
FORMAPSY : Formalizing Psychological Theories, with Alain Finkel at ENS Paris-Saclay, LMF, Gif/Yvette; show comments
co-advisor: Gustave Cortal, PhD student, 3rd year - funding for the internship - availability for a subsequent PhD
AUTOPSY : Automating Cognitive Behavioral Therapy Modules, with Alain Finkel at ENS Paris-Saclay, LMF, Gif/Yvette; show comments
co-advisor: Gustave Cortal, PhD student, 3rd year - funding for the internship - availability for a subsequent PhD
Robust clustering, with Michaël Poss at LIRMM, Montpellier; show comments
Controllers in Many-sided Reactive Synthesis: a Strategic Perspective, with Mickael Randour at F.R.S.-FNRS & UMONS, Mons, Belgium; show comments
Though internships are usually not paid in Belgium, financial support can be discussed.
Efficient algorithms for enumeration problems in graphs, with Vincent LIMOUZY at Université Clermont Auvergne, Clermont-Ferrand, France; show comments
Co-advised by Pierre BERGE, the objective is to continue as a PhD student after the internship
Analyse formelle de sécurité de protocoles DRM, with Stéphanie Delaune & Joseph Lallemand at CNRS, IRISA, Univ. Rennes, Rennes; show comments
Master thesis in Bioinformatics and Microbial Ecology for Green transition of Water Treatment, with Michaël Pierrelée at Technical University of Denmark, Lyngby (within Copenhagen area, Denmark); show comments
Main supervisor: Borja Valder
Méthodes symboliques pour la bi-déduction dans le contexte de la vérification de protocoles de sécurité, with David Baelde (Prof. ENS Rennes) & Stéphanie Delaune (DR CNRS) at IRISA (Spicy team), Univ Rennes & CNRS, Rennes; show comments
Ce stage pourra être financé et pourra par la suite conduire à une thèse sur des sujets similaires et pourra être financée sur des projets en cours dans l’équipe.
Defining nudging strategies in the specification of properties for multi-agent systems, with Vadim Malvone at Telecom Paris, Paris; show comments
There is the possibility to fund the internship and also a future PhD fellowship.
Towards the verification of smart contracts, with Vadim Malvone at Telecom Paris, Paris; show comments
There is the possibility to fund the internship and also a future PhD fellowship.
Defining dynamic coalitions within the specification of properties for multi-agent systems, with Vadim MALVONE at Telecom Paris, Paris; show comments
There is the possibility to fund the internship and also a future PhD fellowship.
Formally Verifying Privacy in Cryptographic Protocols through Trace Properties, with Lucca Hirschi at Inria, Nancy; show comments
The internship is co-advised with Steve Kremer, supported by the PEPR Cybersecurity, and a continuation towards a funded PhD is possible.
Dolev-Yao-Model-Guided Fuzzing of Cryptographic Protocols, with Lucca Hirschi at Inria, Nancy; show comments
The internship is co-advised with Steve Kremer, supported by the ProtoFuzz ANR, and a continuation towards a funded PhD is possible.
Matroid-Constrained Clustering, with Chien-Chung Huang at ENS Paris, Paris; show comments
Casser des graphes, with Matthieu Latapy at LIP6 - CNRS et Sorbonne Université, Paris; show comments
Numeric-symbolic polynomial system solving, with Grégoire LECERF at CNRS, Palaiseau; show comments
Co-advisor : Joris van der Hoeven
Mixed degree conditions in hypergraphs (Conditions de degrés mixtes pour la théorie extrémale des hypergraphes), with Victor Falgas-Ravry at Umeå Universitet (Suède), Umeå; show comments
Pour le stage: possibilités de financements Erasmus et d'aides pour les frais de voyage. Pour la thèse: ouverture à une direction en co-tutelle avec un établissement français.
Subcube intersection graphs (Graphes d'intersections de sous-cubes), with Victor Falgas-Ravry at Umeå Universitet (Suède), Umeå; show comments
Pour le stage: possibilité de financements Erasmus et d'aides pour les frais de voyages. Pour la thèse: ouverture à une direction en co-tutelle avec un directeur de thèse français.
Maker-Breaker Percolation Games (Jeux de percolation Maker-Breaker) , with Victor Falgas-Ravry at Umeå Universitet (Suède), Umeå; show comments
Pour le stage: possibilités de financements Erasmus et d'aides pour les frais de voyage. Pour la thèse: ouverture à une direction en co-tutelle avec un établissement français.
Formal verification of security protocols, with Charlie Jacomme at Inria, Nancy; show comments
funding for the internship, availability for subsquents PhDs
The ecology of autocatalytic cycles, in the context of the origin of life, with Denis Kuperberg - Sylvain Charlat at LIP, ENS Lyon and LBBE, University Lyon 1, Lyon; show comments
Co-supervised by Sylvain Charlat
Finding paths in hereditary graph classes, with Dibyayan Chakraborty at School of Computing, University of Leeds, UK., LEEDS; show comments
A subsequent PhD is available. Please contact me for further details.
Evaluating the Experimental Complexity of Program Analysis, with Raphaël Monat at Inria, Lille; show comments
We have funding to cover an internship and, if the internship goes well for all involved parties, a PhD grant. Co-advised with Julien Forget.
Quantum expansion testing, with Simon Apers at Université Paris-Cité, CNRS, IRIF, Paris; show comments
Back to the trees: Identifying plants with human intelligence, with Simon Castellan at Inria, Rennes; show comments
Stage co-encadré par Agnès Schermann (botaniste). Possibilité de suivre en thèse interdisciplinaire
EXTENSION DU COMPILATEUR B POUR PERMETTRE LA CERTIFICATION T3 DU LOGICIEL DE VALIDATION DE DONNÉES DE CLEARSY, with David DEHARBE at CLEARSY, Aix-en-Provence; show comments
Stage proposé pour l'agence CLEARSY d'Aix-en-Provence et financé par l'entreprise.
Intel User Interrupt Improvement, with Alain Tchana at LIG - Grenoble INP, Grenoble; show comments
Operating System, Hardware Architecture, Security
Probabilistic Search Algorithms with Applications in Biology, with Pierre Fraigniaud at CNRS, Paris ; show comments
The internship will be co-advised with Amos Korman (see https://amoskorman.com/), the funding will be supported by the indirect costs of Amos' ERC grant, there is an availability for a subsequent PhD
Adaptive methods for safe machine learning, with Yassine Laguel & Samuel Vaiter at Université d'Azur, Nice; show comments
Internship co-advised by Samuel Vaiter (https://samuelvaiter.com). Possibility to pursue a PhD.
Understanding the reasons of algorithmic bias, with Jean-Michel Loubes at Artificial and Natural Intellligence Institute of Toulouse , toulouse; show comments
Jerome Bolte, funding for Phd
Modular Analysis for Formal Verification of Integrated Circuits at Transistor Level, with Matthieu Moy at Univ. Lyon 1, Lyon; show comments
Co-advised with Pascal Raymond and Bruno Ferres, Verimag, Grenoble. Physical location of the internship at Verimag also possible.
DNA Computing and DNA nanotechnology, with Prof Damien Woods at Hamilton Institute, Maynooth University, Maynooth, Ireland; show comments
We can pay salary, and possibly travel expenses. We have at several projects availiable.
Theoretical and practical aspects of spectral estimation for optimal optimization algorithms design, with Remi Gribonval at INRIA, Lyon; show comments
Cosupervised by Mathurin Massias (mathurin.massias@inria.fr), funding available for subsequent phd
Using deep learning to detect epileptic spike from brain activity recordings, with Romain QUENTIN at INSERM, Lyon; show comments
Co-Advisor: Pauline MOUCHES. Internship funded by the ATIP-AVENIR program. Possibility to continue in PhD (funding to be determined)
Approximation algorithms using hierarchies, with Alantha Newman at G-SCOP, Grenoble; show comments
Funding available for internship.
Various topics in formal logic and proof assistants , with Yannick Forster at Inria, Paris; show comments
Exploration dynamique d'espaces multidimensionnels des paramètres de modèles de systèmes complexes, with Gilles Ardourel - Christian Attiogbé at LS2N UMR 6004 - Nantes Université, Nantes; show comments
Standard internship funding
Simulator inference by machine learning, with Istvan David at McMaster University, Hamilton, Canada; show comments
Internships may earn an offer for a PhD position.
Continuous Optimization models for logical constraints, with Sonia Cafieri et Marcel Mongeau at ENAC, Toulouse; show comments
Il s'agit d'un stage orienté recherche pouvant conduire à une poursuite en thèse de doctorat à l'ENAC (Toulouse) --cf descriptif du sujet de thèse
Ultrasound image simulation for virtual reality surgical training , with Carlos Rossa at Carleton University , Ottawa; show comments
See link above.
Résolution de systèmes linéaires creux pour la simulation de réseaux Électriques, with Dr. Bruned Boris at RTE, Jonage (69330), Lyon; show comments
Stage de recherche en entreprise avec possibilité de poursuivre sur une thèse suivant les résultats.
Graph Problems in Massively Parallel Computing, with Yannic Maus at TU Graz, Graz; show comments
A subsequent PhD will most likely be available.
Formal verification of the cryptographic protocol verifier ProVerif with Isabelle/HOL, with Sophie Tourret at Inria centre at Université de Lorraine, Loria, Nancy; show comments
co-advisor: Steve Kremer
Kernel Testing for Spatial Distributions, with Franck Picard at CNRS ENS-Lyon, Lyon; show comments
Bertrand Michel, Ecole Centrale de Nantes
Applications of Sinkhorn's alternative scaling to quantum information theory, with Ion Nechita at CNRS, LPT Toulouse, Toulouse; show comments
Several sources of funding for subsequent PhD upon successful application, e.g. https://iqoc.fr/
Exploration by model-checking of timing anomaly cancellation in a processor, with Lionel Rieg at VERIMAG, GRENOBLE; show comments
Co-advisor : Catherine Parent-Vigouroux
Analyzing fault parameters triggering timing anomalies, with Lionel Rieg at VERIMAG, GRENOBLE; show comments
Co-advisors: Catherine Parent-Vigouroux, Matthias Ramparison
Finding completely independant spanning trees in transitive graphs, with Olivier Togni at Université de bourgogne, LIB, Dijon; show comments
co-advised by Mohammed Lalou (LIB)
Machine learning approaches to learn automata from their traces, with Eric Fabre at INRIA, Rennes; show comments
we shall shortly several related PhD topics with secured funding
Policy properties for greedy adaptive submodular maximization, with Sivan Sabato at McMaster University, Hamilton, Ontario, Canada; show comments
Interactive Learning with explanations, with Sivan Sabato at McMaster University, Hamilton, Ontario, Canada; show comments
Causal explanations for embedded systems, with Gregor Gössler at INRIA, Grenoble; show comments
co-advised by Thao Dang, VERIMAG
Formal Verification for Quantum Programming, with Christophe Chareton, Sébastien Bardin at CEA/LIST, Palaiseau; show comments
The CEA List, Software Security Lab (LSL), has several open funded internship positions in the area of formal verification for quantum programming. The positions are 4-6 month long and can open the way to a doctoral work.
Easily generate hard instances, with Florian Sikora at LAMSADE, Paris; show comments
Co-supervision with Benjamin Negreverne and Florian Yger
Privacy Analysis of Hidden-State Noisy-SGD with Applications to Sampling, with Shahab Asoodeh at McMaster University, Hamilton; show comments
availability for a subsequent PhD
Résolution de problèmes entiers paramétriques linéaires par SAT, with Sid Touati at Université Côte d'Azur, Sophia Antipolis; show comments
Co-encadrant du projet: M. Denis Barthou, Huawei Paris Research
Parameterized Approximation Algorithms, with Andreas Emil Feldmann at University of Sheffield, Sheffield, UK; show comments
at the time of writing there is funding for a PhD position under my supervision at the University of Sheffield
Lexicographic Enumeration of Maximal Independent Sets, with Arnaud Labourel at LIS, Aix-Marseille Université, CNRS, Marseille; show comments
Co-advisor: Oscar Defrain
Coupling formal methods and MBSE approach for the development of resilient complex systems, with Nasrine DAMOUCHE at ISAE-SUPAERO (https://www.isae-supaero.fr/en/about-isae-supaero/the-institute/), Toulouse; show comments
No funding available for the internship
Formal Methods for Consistent Requirements Specification in Cyber-Physical Systems, with Nasrine DAMOUCHE at ISAE-SUPAERO (https://www.isae-supaero.fr/en/about-isae-supaero/the-institute/), Toulouse; show comments
I have not a funding for this internship
Controllers in Many-sided Reactive Synthesis: a Strategic Perspective, with Mickael Randour at F.R.S.-FNRS & UMONS, Mons, Belgium; show comments
Though internships are usually not paid in Belgium, financial support can be discussed.
Spatial Modeling and Simulation: creating advanced models for with spatial features, with Gabriel Wainer at Carleton University, Ottawa; show comments
The work is related to the URL above. There is availability for funding if the student continues a PhD in cotutelle
Development of Cyber-Physical systems using a discrete-event approach, with Gabriel Wainer at Carleton University, Ottawa; show comments
There is availability for funding if the student continues a PhD in cotutelle
Patterns in combinatorial objects inspired by biological structures, with Sergey Kirgizov at LIB, Université de Bourgogne, Dijon; show comments
Funding for the internship by ANR JCJC project
Formal Methods for the Verification of Self-Adapting Distributed Systems, with Radu Iosif at VERIMAG, Grenoble; show comments
Co-advisor is Arnaud Sangnier (University of Genova, Italy). The internship is fully funded. A PhD is available, funded by the French ANR project PAVEDYS (Parametric Veri- fication of Dynamic Distributed Systems)
Optimized Memory Representation for Algebraic Data Types, with Gabriel Radanne at Inria, Team CASH, LIP, Lyon; show comments
Formal verification of trajectories, with Yves Bertot at Inria Université Côte d'Azur, Sophia Antipolis; show comments
the subject will be adapted for a subsequent PhD
Allocation de registres pour langage dédié à la cryptographie, with Sid Touati at Université Côte d'Azur, Sophia Antipolis; show comments
avec M. Benjamin Grégoire, chargé de recherche INRIA. Indemnité stage INRIA, logement possible.
Quantum algorithms and dynamic data structures, with Simon Apers at CNRS, IRIF, Paris; show comments
Compilation of a DSL based on transducers to SIMD optimized programs, with Charles Paperman at CRIStAL, Université de Lille, Lille; show comments
Co-advise with Gabriel Radanne (in Lyon). Located either in Lille or Lyon. Possibly follows with a PhD after.
Contrastive Representation Learning in Medical Imaging, with Pietro Gori at Telecom Paris, Paris; show comments
funding for the internship and availability for a subsequent PhD
Fine-grained complexity of query answering, with Nofar Carmeli at Inria, LIRMM, Montpellier; show comments
Complexity theory with Discrete Differential Equations/Finite differences, with Olivier BOURNEZ at ECOLE POLYTECHNIQUE (PALAISEAU), Palaiseau; show comments
Characterization of complexity and computability classes with Ordinary Differential Equations Continuous time Analog machines and models of computation, with Olivier BOURNEZ at ECOLE POLYTECHNIQUE (PALAISEAU), Palaiseau; show comments
Computability and Complexity Theory for Models of Very Deep Learning, with Olivier BOURNEZ at ECOLE POLYTECHNIQUE (PALAISEAU), Palaiseau; show comments
Visualization and queries for biology in de Bruijn graphs, with Charles Paperman at CRIStAL, Université de Lille, Lille; show comments
Camille Marchet , Mikaël Salson
Typing Behaviours for Elixir, with Giuseppe Castagna at IRIF: CNRS - Université Paris Cité, Paris; show comments
Co-advisor: JosÃ© Valim (creator and main developer of the Elixir programming language, at Dashbit). The perspective of this proposal is that the results will be integrated in the compiler of Elixir. The work can be pursued in a PhD.
Reconnaissance de programmes par réseaux de neurones de graphes, with Sid Touati at Inria, Université Côte d'Azur, Sophia-Antipolis; show comments
Encadrement avec Christophe Alias (Inria Lyon, ENS-Lyon) et Enrico Formenti (Inria SOP, Université Côte d'Azur), possibilité de poursuite en thèse.
Jeux sur automates légèrement nondéterministes/Games on mildly nondeterministic automata, with Karoliina Lehtinen at CNRS, LIS, Aix-Marseille Université, Marseille; show comments
Possibilité de thèse.

+100 stages de rechrche PFE en France 2025

Découvrir Aussi