[TYPES/announce] Augusta University is Hiring

[Harley D. Eades III]

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-assistant-associate-and-full-professor-levels-augusta-georgia-30912-109234580-d?contextType=search

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 types 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180919/834c2084/attachment.html>