[TYPES/announce] postdoctoral position at Wesleyan University

[Dan Licata]

Hi,

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 have the freedom to pursue their 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, 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.  

Thanks, 
-Dan