【简介】博士后招聘网整理分享“美国普林斯顿高等研究院数学院数学博士后招聘”，浏览查询更多博士后招聘计划请访问博士后招聘网。

Postdoctoral Researcher in Mathematics

Institute for Advanced Study

Location:	Princeton
Salary:	Not specified
Hours:	Full Time
Contract:	Contract / Temporary

Placed on:	16th September 2014
Closes:	1st December 2014

The School of Mathematics at the Institute for Advanced Study in Princeton, New Jersey, is looking to fill one or more postdoc positions for the academic year 2015-16 focusing on formalization of mathematics in proof assistant Coq.

The positions are for one 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. 

In order to apply for the position, applicants should follow the standard application procedures outlined at: https://www.math.ias.edu/administration/membership

In the “field of work” on the application form, please mention “Univalent Foundations”.

Questions should be addressed to Vladimir Voevodsky at vladimir@ias.edu.

请您在邮件申请时在标题注明信息来自：博士后招聘网-boshihoujob.com，电话咨询时说明从博士后招聘网(www.boshihoujob.com)看到的博士后招聘信息。

声明：凡本网注明“来源：XXX”的文/图等稿件，本网转载出于传递更多信息及方便产业探讨之目的，并不意味着本站赞同其观点或证实其内容的真实性，文章内容仅供参考。如其他媒体、网站或个人从本网站转载使用，须保留本网站注明的“来源”，并自负版权等法律责任。作者如果不希望被转载或者联系转载等事宜，请与我们联系。邮箱：boshihoujob@163.com。