[TYPES/announce] Postdoctoral position at Wesleyan University
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 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 - ndan...@wesleyan.edu - http://ndanner.web.wesleyan.edu Department of Mathematics and Computer Science - Wesleyan University
[TYPES/announce] postdoctoral position at Wesleyan University
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 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
