Research Assistant (Wissenschaftliche Hilfskraft)

Mana Taghdiri

We have a position open for a research assistant (Wissenschaftliche Hilfskraft) to help us in a software analysis project. The goal of the project is to detect information flow, that is, to check whether the value stored in a variable in a program can affect the value of another variable. The tasks of the project are guided by small, clear examples.

• Strong Java programming skill is required.
• Familiarity with propositional logic and basic graph algorithms (Depth-first Search) is an advantage.

We prefer the candidate to start as soon as possible. He/She will be paid according to the standard hourly rates for research assistants.

The work will be done in the “Automated Software Analysis” (http://asa.iti.uka.de/) research group.
If interested, please contact Mana Taghdiri (mana.taghdiri@kit.edu).