当前位置:知识人网 >> 国外博士后招聘 >> 正文内容

美国普林斯顿高等研究院数学院数学博士后招聘
文章来源:知识人整理       更新时间:2014年09月17日

Postdoctoral Researcher in Mathematics

Institute for Advanced Study

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.

扫一扫知识人网官方微信订阅号,关注更多学术资讯、博士后招聘信息。
国外博士后、访问学者申请免费专业评估,专业顾问在线答疑解惑。

快速申请国外博士后(免费评估)


点击这里快速申请国外博士后

点击这里快速申请国外访问学者

知识人网是专职国外博士后访问学者申请的服务机构,获评“北京诚信服务示范单位”。
自2004年起,累计十余年申请经验,以大量名校申请成功案例、及全球三万余所院校导师资源为基石,提供优质的申请咨询服务。
400电话:400-060-0581,欢迎您随时来电咨询!