Are there any ways of getting to know about new PhD positions in TCS other then just looking trough ubniversity/research groups web sites?
Maybe people from different branches (type theory, verification, complexity, etc.) can name some specialized mailing-lists where PhD positions announcements are quite usual.
PS In my university we haven't got huge TCS research and we always have smart students “at hand” which are good candidates for sending for PhD positions, but in order to make this process more effective it would be nice to have some sources of new positions opening.