PhD Position in QBF solving

There is an opening for a funded PhD position in Quantified Boolean Formula (QBF) solving.

More information can be found here.