[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