We put strong emphasis in tightly integrating our teaching and research activities by bringing the most recent research developments into our lectures (IV), seminars (Se), teaching internships, labs and theses:
Lectures and Seminars
| name | what | when |
|---|---|---|
| Concepts of Programming Languages (COPL) | 06cp IV | Winter |
| Type Systems (TYPES) | 06cp IV | Summer |
| Design and Implementation of Modern Programming Languages (DAIMPL) | 03cp Se | Winter & Summer |
| Artificial Intelligence for Coding Assistance (AI4CA) | 04cp Se | Winter & Summer |
Note: Our Application Deadlines for the Seminars is usually sometime in the first week of the “Courses Start”. Check the respective seminars website for further information, to avoid missing your deadline!
Industry Internship
Once per year, we organize team projects with real industry partners as a course:
| name | what | when |
|---|---|---|
| Software Engineering Project (SEP) | 09cp Pr + 03cp Se | Winter |
HiWi / Tutor: “Teaching Internship”
You can apply for a teaching internship on a course that you have successfully completed. Contact the contact person specified on the lecture website above, preferably one month (or at least one week), before the start of the course. (Instead of 5cp, it is sometimes also possible to get a paid job as a student teaching assistant (HiWi / SHK / Tutor) for the courses.)
Labs / Theses: “Research Internship”
For those that enjoyed the content of our lectures and seminars, we offer several opportunities to get in contact with our research at Software Technology. Each semester a few students can participate in a lab or thesis to get deeper into a research topic.
Usually, there is no list of open topics – each topics is aranged individually through a discussion between the student and a researcher of the Software Technology Group. Depending on whether you are more interested in “the design and implementation of programming languages” or “software engineering and aritifical intelligence”, you can find more information on who to ask for labs and theses on the following links:
| name | when | |
|---|---|---|
| Programming Language Design and Implementation (Lab / Theses) | Winter & Summer | |
| Artificial Intelligence and Software Engineering (Lab / Theses) | Winter & Summer |