Überwachung von Doktorandenstellen in TCS

Gibt es andere Möglichkeiten, sich über neue Doktorandenstellen in TCS zu informieren, als nur über die Websites von Universitäten / Forschungsgruppen zu schauen?

Vielleicht können Leute aus verschiedenen Branchen (Typentheorie, Verifikation, Komplexität usw.) einige spezielle Mailinglisten nennen, auf denen Ankündigungen von Doktorandenstellen durchaus üblich sind.

PS An meiner Universität haben wir keine große TCS-Forschung und wir haben immer kluge Studenten „zur Hand“, die gute Kandidaten für die Entsendung von Doktorandenstellen sind, aber um diesen Prozess effektiver zu gestalten, wäre es schön, einige Quellen zu haben neue Positionen eröffnen.

Doktorandenstellen in TCS und Diskrete Mathematik werden manchmal auf angekündigt TheoryNet und DMANET . Hierbei handelt es sich um Mailinglisten, auf denen Ankündigungen und Fragen zu Konferenzen, Workshops, Seminaren, Büchern und Jobs in diesen Bereichen verteilt werden.

Dies ist ein etwas euro-zentriertes Thema. In den USA gibt es keine "Doktorandenstellen". Die Leute bewerben sich nur für die Graduiertenschule, wo die Leute der Theorie sind.

Für die Typentheorie scheint die Mailingliste TYPES / Announce der Ort zu sein, an dem diese angekündigt werden. Es gibt auch die LOGIC-Mailingliste, auf der theoretische Jobs im deutschsprachigen Raum angekündigt werden.

Das Haskell-Subreddit auf Reddit.com enthält von Zeit zu Zeit einige Ankündigungen zur funktionalen Programmierung und zur Typentheorie.

Das Beste, was Sie tun können, ist wahrscheinlich, die Ankündigungs-Mailingliste einer großen Universitätstheorie-Gruppe zu abonnieren. Ankündigungen werden selbstverständlich an diese weitergeleitet.