[Job] Studentische Hilfskraft (m/f) gesucht

[barakat]

Wir suchen ab sofort eine Studentische Hilfskraft (m/f) Zur Unterstützung bei der Forschung an formalen Verifikationstools und die Entwicklung von π–Calculus basierten Technologien



Stellenbeschreibung

Im Rahmen des UMIC Exzellenzclusters an der RWTH-Aachen werden formale Methoden erforscht und entwickelt, um Telekommunikationsprotkolle modellieren, validieren und evtl. durch Simulation evaluieren zu können. π–Calculus ist ein Prozessmodell, das für kommunizierende Prozesse geeignet ist. Die aktuellen Tools sind jedoch nicht vollständig.


Ihre Aufgaben

• Sich mit der Syntax von π–Calculus vertraut zu machen
• Erforschung von aktuellen Tools u. Methoden (insbesondere YACCs und ANTLR)
• Entwicklung von eigenen unterstützenden Tools wie Compiler und Simulator, welche die existierenden Tools ergänzen


Anforderungen

• Laufendes Informatik- oder Elektrotechnikstudium
• Gutes analytisches u. abstraktes Denken, Selbstständigkeit und Freude an der Forschung
• Gute C++ Kenntnisse
• MathML / XML u. Latex
• Linux Scripting Kenntnisse sind von Vorteil


Unser Angebot

• Mitarbeit in Cutting-Edge Forschungsthemen
• Angenehme Arbeitsatmosphäre und freundliches Team
• Funktionsfähige Kaffeemaschine


Kontakt

Bei Interesse oder Rückfragen melden Sie sich bitte bei
Kamal Barakat
Lehrstuhl für Informatik 11
0241-80-21171
barakat@embedded.rwth-aachen.de