Internships at LSV
This page gathers information on internship opportunities at LSV.
Some internships are paid; this topic should be discussed with the supervisors.
Postdoc
LSV welcomes postdoctoral researchers willing to broaden their PhD work in one of our research themes.
Doctoral Studies
LSV seeks students about to start a PhD in one of our research themes.
The subjects presented below range from the practical aspects of verification to rather fundamental issues. Funding might depend on the exact subject or on other specific requirements. Prospective students should contact theses@lsv.ens-cachan.fr, attach their curriculum vitae, and explain which subject(s) they are interested in.
PhD studies lead to public and private research employment, teaching positions in universities, etc. Here is for information what became of the LSV graduates.
Research Internships / M2
The following internships are intended for students in their second year of MSc studies.
- Post Embedding Problems, Dickson's Lemma, and Master
Problems for Monotonic Counter Systems (S. Schmitz, Ph. Schnoebelen)
- A Theory of Quantitative Languages (L. Doyen)
- Petri net unfolding methods for verifying
weak properties (S. Haar)
- Vérification des communications FIFO (A. Finkel, E. Lozes)
- Robot Games (L. Doyen)
- Verification of security protocols: composition issues (S. Delaune, V. Cortier)
- Analyse formelle de propriétés d'anonymat dans les
protocoles de routage (S. Delaune)
- Petri net unfolding methods for supervisory control (S. Haar)
- Nash equilibria in multiplayer infnite-state games (P. Bouyer, R. Brenguie, N. Markey)
- Stochastic timed automata (P. Bouyer, S. Haddad)
- PDL Model-Checking on Trees (S. Schmitz)
- Vérification d'APIs de sécurité (S. Delaune, G. Steel)
- Estimating the information leakage of a probabilistic recursive program (R. Chadha, S. Schwoon)
- Static Analysis of Performance Parameters for Music Scores (L. Fribourg, F. Jacquemard)
- Equilibria in concurrent games (P. Bouyer, R. Brenguie, N. Markey)
- Nash equilibria in network of systems (P. Bouyer, R. Brenguie, N. Markey)
- Implementation of Rendezvous in Real-Time Distributed Systems (T. Chatain)
- Automates temporisés à interruptions, problèmes de
vérification et d'expressivité (B. Bérard, S. Haddad)
M1 Internships
The following internships are intended for students in their first year of MSc studies.
Engineering / Bachelors
The following internships are mostly (but not exclusively) intended for students in their first year of studies at École Normale Supérieure de Lyon or École Normale Supérieure de Paris.