[Agda] post-doc and visiting positions at wesleyan

Dan Licata drl at cs.cmu.edu
Wed Feb 4 17:23:16 CET 2015


Hi everyone,

We are looking to fill two visiting positions at Wesleyan for next academic year (2015-2016):  

Postdoc: https://academicjobsonline.org/ajo/jobs/5315
Visiting Assistant Professor: https://academicjobsonline.org/ajo/jobs/5316

The positions are supported by teaching (in computer science), so they would be good for someone who is interested in both research and teaching.  Wesleyan has a small computer science department, but all of us do logic, programming languages, algorithms, or software engineering.  We are sub-department of math, so there would be lots of mathematicians to talk to as well.  

I would particularly welcome applications from people who have an interest in proof assistants (one possible topic of research would be designing a new proof assistant for HoTT).  

If you have any questions about the positions, feel free to email me.  The deadline for applications is Feb 27th.  

-Dan



More information about the Agda mailing list