SymTA/S ist eine in Java 1.5 geschrieben Entwicklungsumgebung für Eingebettete Echtzeitsysteme. Wir arbeiten sowohl an neuen Konzepten zur Auslegung und Verifikation solcher Systeme, als auch eng mit der Industrie an konkreten Anwendungen. Wir bieten sowohl konzeptionelle Arbeiten (Modellierung und Analyse) als auch Arbeiten mit Schwerpunkt Programmierung (insbesondere in Java).
Wir bemühen uns die nachfolgende Liste vollständig und aktuell zu halten. Es lohnt sich aber auf jeden Fall, die wissenschaftlichen Mitarbeiter der SymTA/S-Gruppe persönlich auf die neuesten Themen anzusprechen.