The student initiative HORYZN is looking for support in their “Security and Certification” team, either in the scope of a bachelor-/semestral-/master’s thesis or as project work. Find out more in the attached pdf.
Student Positions at TUM Hyperloop
The TUM Hyperloop program team is looking for students to support their safety assessment activities, either as student team members or within the scope of your bachelor’s or master’s thesis!
Tutorial Announcement: Requirements in Structured Natural Language with FRET
Dr. Johann Schumann, a guest researcher from SGT/NASA, will give a tutorial on FRET (Formal Requirements Elicitation Tool), an-open source requirements formalization tool currently developed by NASA. The tutorial is planned for Thursday, January 23, 15:00 – 17:00 and Friday, January 24, 14:00 – 16:00 in the room MW 3618 (FSD Seminar Room). For a detailed abstract, please refer to the attached announcement.
Please register by contacting Julian Rhein.