Research Positions with the SAT Group
This page contains information regarding open research positions with the
Software Algorithms and Tools for constraint solving (SAT)
group.
The SAT group expects to open positions for MSc students in mid 2005.