Dear all. The School of Computer and Cyber Sciences at Augusta University is now looking to fill 12 tenure-track vacancies. Deadline: By Dec. 1, 2018, but the sooner the better. The job ad can be found here: https://jobs.acm.org/jobs/tenure-track-and-tenured-positions-at-the-assistan... The positions are all open rank and not specific to any one subfield of computer science, and the percent effort between teaching and research will be balanced. However, the ForML Lab is looking to recruit at least one of these positions for our new lab: http://metatheorem.org/formlab/ This means that applications from the categorical logic community are especially welcome. Finally, here is a blog post that explains why I find this exciting: https://blog.metatheorem.org/2018/09/19/Faculty-Search.html If you have any questions regarding the search please contact me (Harley Eades). Very best, Harley Eades and Clément Aubert [For admin and other information see: http://www.mta.ca/~cat-dist/ ]