Monitoring PhD positions in TCS 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.
PhD positions in TCS and Discrete Math are sometimes announced on TheoryNet and DMANET. These are mailing lists to circulate announcements and questions regarding conferences, workshops, seminars, books and jobs in these areas.