Uppsala University
Posted: 16 May 2026 - Uppsala, Sweden
The postdoctoral position focuses on developing a constraint solver using lazy clauses and pseudo-boolean methods, with responsibilities including research administration and potential teaching.