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

• Duration: Typically an internship lasts 4 weeks, but extensions to 6 or 8 weeks are possible. For an extension to 8 weeks please consult your advisor at TU Wien.
• Starting date: This is flexible from our side and is up to your internship advisor. Just note that LMF is closed during public holidays and 3 weeks in August.
• Topic: If you are interested in carrying out an internship at LMF, check the groups and researchers at the LMF page to find a potential supervisor. In case you are unsure, feel free to contact a potential supervisor or me for a chat. There is no need to come with a ready-made research topic - we encourage you to chat with your potential advisor about possible topics.
• Application: Once you have found a topic, write an application mail containing: (i) a brief, informal description of the topic(s) you are interested in, and (ii) a short CV.

Local organization

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