| Titel | Type | Contact person |
|---|---|---|
| Verification of Shortest-Path Algorithms | Diplomarbeit | Thomas Pajor, Junior Prof. Dr. Mana Taghdiri, Prof. Dr. Dorothea Wagner |
| Analyzing Alloy Models using KeY | Studienarbeit | Mattias Ulbrich, Mana Taghdiri and Aboubakr Achraf El Ghazi |
| A Parallel Relational Solver | Master/Diplom-Arbeit | Juniorprof. Mana Taghdiri |
| Titel | job type | Starting date | Contact person |
|---|---|---|---|
| PhD position in Automated Software Analysis research group | PhD position |
As soon as possible |
Juniorprof. Dr. Mana Taghdiri |
