SAtRes    Offers

Open 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 SATDominik Schreiber
Integrating GPUs in Distributed SAT SolvingDominik Schreiber

HiWi position

Open position(s): Student minijob (HiWi)Dominik Schreiber

Bachelor/master thesis

[TAKEN] Memory-efficient multi-threaded SAT backend for MallobSatDominik Schreiber
Integrating GPUs in Distributed SAT SolvingDominik Schreiber