Internship-projects for TU Wien Bachelor with Honors

LSV is a partner of the Bachelor with Honors Computer Science program at TU Wien. As such we offer internship-projects for Bachelor with Honors TU Wien students at the LSV. For details see below. If you have any questions do not hesitate to write to Dr. Matthias Függer.

LSV, ENS Paris-Saclay

The Laboratoire Spécification et Vérification (LSV) is the Computer Science laboratory of ENS Paris-Saclay (formerly ENS Cachan). LSV is also affiliated with the CNRS. The institute is located in Cachan in the South of Paris, easily reachable from Paris via RER B.

A short overview on the research at LSV and its five axes can be found here. A list of researchers working at LSV can be found here.


The key facts of an internship can be found below.

Local Organization

For any question regarding organization do not hesitate to contact the local coordinator Matthias Függer.
Commuting from Paris to LSV is best via RER B, stopping at Bagneux, and then walking to ENS Paris-Saclay. A detailed description of how to access LSV can be found here.
Nearby accommodation can be found, e.g., at Cite Universitaire (25min to LSV by RER B).

For LSV Researchers: Providing Internships

Please write a short description of your internship project and send it to Serge Haddad.

About LSV