[Agda] postdoc position(s) announcement

[Vladimir Voevodsky]

The School of Mathematics at the Institute for Advanced Study in Princeton, NJ, 
is looking to fill one or more postdoc positions for the academic year 2015-16 
focusing on univalent formalization of mathematics in proof assistant Coq. 
 
The positions are for 1 year with a possible extension for an additional year. 
 
The areas of mathematics under consideration include classical homotopy theory of simplicial sets and simplicial sheaves. 
 
The applicants should follow the standard application procedures outlined at:  https://www.math.ias.edu/administration/membership.
 
In the "Field of work" in the application form please mention "Univalent Foundations".
 
Questions should be addressed to Vladimir Voevodsky at vladimir at ias.edu.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 496 bytes
Desc: Message signed with OpenPGP using GPGMail
Url : http://lists.chalmers.se/pipermail/agda/attachments/20140910/cba49e70/signature.bin