OffersOpen Positions
If you are interested in one of the below topics or subject areas or if you are interested in a position as a student assistant (“HiWi”), please arrange an appointment by e-mail.
Praxis der Forschung
| Information Exchange Beyond Clauses in Distributed SAT | Dominik Schreiber |
PhD position
| Open position: Doctoral Researcher / PhD Student | 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 |