OffersOffers
You can find below our current offers regarding qualification theses, projects, and student minijobs. If you are interested, please arrange an appointment by e-mail.
Please note that there is no direct mapping between advertised topics and available slots for supervision. On the one hand, we may not always have the capacity to supervise another student even if open topics are available. On the other hand, if you cannot find any open topic that suits you but you are still interested in a thesis or a project, we may still have capacities and can perhaps find a topic that suits both parties. In any case, just approach us!
Qualification theses / Praxis der Forschung
| Advanced Strategies for Malleable SAT Solving | Bachelor/Master | Dominik Schreiber |
| Information Exchange Beyond Clauses in Distributed SAT | Bachelor/Master/PdF | Niccolò Rigi-Luperti |
| Integrating GPUs in Distributed SAT Solving | Master/PdF | Dominik Schreiber |
| Unsatisfiability Cores in Distributed SAT Solving | Master/PdF | Dominik Schreiber |
Open positions
| Student assistant / minijob | HiWi | Niccolò Rigi-Luperti, Dominik Schreiber |