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 (email@example.com).