Internship-projects for Bachelor with Honors, TU Wien

The Laboratoire Méthodes Formelles (LMF) 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. For details see below. If you have any questions do not hesitate to write to Dr. Matthias Függer.

About LMF, ENS Paris-Saclay

The LMF is the Computer Science laboratory of ENS Paris-Saclay with a focus on formal, theoretical methods. With about 100 members, research topics cover diverse areas from formal languages, theory of computation, distributed computing, AI, biology, and model checking, among others with methods from modeling, theoretical analysis, to implementation and applied research. An overview can be found here.
The institute is located in the South of Paris, reachable from Paris via RER B.

The LMF is part of ENS Paris-Saclay and Université Paris-Saclay, (Shanghai ranking: 13th world-wide, 1st continental Europe)

Internship modalities

Local organization

For any question regarding organization do not hesitate to contact me.