Seguimiento de puestos de doctorado en TCS

¿Hay alguna forma de conocer las nuevas posiciones de doctorado en TCS que no sea simplemente buscar en sitios web de grupos universitarios / de investigación?

Quizás personas de diferentes ramas (teoría de tipos, verificación, complejidad, etc.) pueden nombrar algunas listas de correo especializadas donde los anuncios de posiciones de doctorado son bastante habituales.

PD: En mi universidad no tenemos una gran investigación de TCS y siempre tenemos estudiantes inteligentes "a mano" que son buenos candidatos para enviar a puestos de doctorado, pero para que este proceso sea más efectivo, sería bueno tener algunas fuentes de nuevas posiciones de apertura.

Los puestos de doctorado en TCS y Matemática discreta a veces se anuncian en TheoryNet y DMANET . Estas son listas de correo para hacer circular anuncios y preguntas sobre conferencias, talleres, seminarios, libros y trabajos en estas áreas.

Este es un tema un tanto eurocéntrico. En los Estados Unidos, no existen cosas como "puestos de doctorado". La gente se limita a postularse a la escuela de posgrado donde se encuentra la gente de teoría.

Para la teoría de tipos, la lista de correo TYPES / anunciar parece ser el lugar donde se anuncian. También está la lista de correo LOGIC donde se anuncian trabajos teóricos en el mundo de habla alemana.

El subreddit de Haskell en Reddit.com también tiene algunos anuncios relacionados con la programación funcional y la teoría de tipos.

Lo mejor que puede hacer es suscribirse a la lista de correo de anuncios de un gran grupo de teoría universitaria. Los anuncios son enviados por CC a aquellos como algo natural.