coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] postdoc position(s) announcement

From: Vladimir Voevodsky <vladimir AT ias.edu>
To: Coq Club <coq-club AT inria.fr>, Types list list <types-announce AT lists.seas.upenn.edu>, Agda mailing list <agda AT lists.chalmers.se>, homotopytypetheory <homotopytypetheory AT googlegroups.com>
Cc: "Prof. Vladimir Voevodsky" <vladimir AT ias.edu>
Subject: [Coq-Club] postdoc position(s) announcement
Date: Wed, 10 Sep 2014 22:09:54 +0200

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.

Attachment: signature.asc
Description: Message signed with OpenPGP using GPGMail

[Coq-Club] postdoc position(s) announcement, Vladimir Voevodsky, 09/10/2014