Monitorando posições de doutorado no TCS

Existem maneiras de conhecer novas posições de doutorado no TCS, além de procurar nos sites dos grupos de universidades / pesquisa?

Talvez pessoas de diferentes ramos (teoria de tipos, verificação, complexidade etc.) possam nomear algumas listas de discussão especializadas nas quais os anúncios de posições de doutorado são bastante comuns.

PS Na minha universidade, não temos grandes pesquisas em TCS e sempre temos alunos espertos "à mão", que são bons candidatos para enviar para cargos de doutorado, mas, para tornar esse processo mais eficaz, seria bom ter algumas fontes de abertura de novas posições.

As posições de doutorado em TCS e Matemática Discreta são às vezes anunciadas no TheoryNet e DMANET . São listas de distribuição para distribuir anúncios e perguntas sobre conferências, workshops, seminários, livros e trabalhos nessas áreas.

Esta é uma questão um pouco centrada no euro. Nos EUA, não existem "posições de doutorado". As pessoas simplesmente se inscrevem na pós-graduação, onde as pessoas da teoria estão.

Para a teoria dos tipos, a lista de correspondência TYPES / Announce parece ser o local onde eles são anunciados. Há também a lista de correspondência da LOGIC, onde são anunciados trabalhos teóricos no mundo de língua alemã.

O subreddit Haskell no Reddit.com também tem alguns anúncios de tempos em tempos relacionados à programação funcional e à teoria dos tipos.

A melhor coisa a fazer é provavelmente se inscrever na lista de discussão de anúncios de um grande grupo de teoria universitária. Os anúncios são transferidos para CC normalmente.