Übrigens ...


... suchen wir immer Hiwis oder Diplomanden für theoretische und praktische Themen im Kontext von Programmiersprachen und Semantik von Programmiersprachen. Insbesondere natürlich im Zusammenhang mit unserer eigenen Entwicklung, Oz und Distributed Oz.

Ich selbst suche aktuell einen Studenten, der sich für Entwicklung und Implementierung von Typsystemen für Programmiersprachen interessiert.

Schaut einfach mal bei uns vorbei.


Martin Müller