OffersOpen Positions
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.
If you can’t find any particular open topic that suits you but you are still interested in a thesis or a project, then just let us know and we may be able to find a suitable topic together.
Praxis der Forschung
| Information Exchange Beyond Clauses in Distributed SAT | Dominik Schreiber |
| Integrating GPUs in Distributed SAT Solving | Dominik Schreiber |
HiWi position
| Open position(s): Student minijob (HiWi) | Dominik Schreiber |
Bachelor/master thesis
| [TAKEN] Memory-efficient multi-threaded SAT backend for MallobSat | Dominik Schreiber |
| Integrating GPUs in Distributed SAT Solving | Dominik Schreiber |