[TYPES/announce] Postdoctoral position at Wesleyan University

[Norman Danner]

The Department of Mathematics and Computer Science at Wesleyan
University (Middletown, CT, USA) invites applications for a Postdoctoral
Research Associate. The postdoc will work with Professors Norman Danner
and Dan Licata on the topic of certified cost analysis of functional
programs, and will have the freedom to pursue his/her own research
agenda as well.  Candidates with backgrounds in any of programming
languages, logic, algorithms, and proof assistants are especially
encouraged to apply.

The position is for 1 year starting Fall 2017, with possibility of
renewal for a second year.  It is grant-funded, so teaching is not
required, but there is a possibility of teaching 1 class per year for
applicants who would like to build their teaching portfolio.

Please find information on applying for the job here:
   https://careers.wesleyan.edu/postings/5800

We will review applications as they are received.

-- 
Norman Danner - ndanner at wesleyan.edu - http://ndanner.web.wesleyan.edu
Department of Mathematics and Computer Science  -  Wesleyan University