We've been doing functional programming at Kent for more than thirty years, and it would be great to recruit more people in FP, theory, type theory, programming languages, verification, concurrency ... Details of three positions here: https://jobs.kent.ac.uk/fe/tpl_kent01.asp?s=4A515F4E5A565B1A&jobid=38618,1240724854&key=41286990&c=545876250256&pagestamp=sedufjhfxtuvnjtwsc If you're interested in discussing, just send us an email. Simon Simon Thompson | Professor of Logic and Computation School of Computing | University of Kent | Canterbury, CT2 7NF, UK s.j.thompson@kent.ac.uk | M +44 7986 085754 | W www.cs.kent.ac.uk/~sjt