[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]The University of Tübingen has an open professorship in computer science and didactics. Applicants with a background in programming and types are very welcome. Details can be found here: https://www.academicgates.com/acazena/job/detail/00155d140103-11ea-4e97-f41bf0a6-8693?utm_medium=detail&utm_source=searchlist&utm_campaign=DEU_UNOFTUEB
