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