Website 查尔姆斯理工大学
职位描述
高等类理论博士后研究职位
我们提供一个博士后职位，研究领域包括高阶范畴理论、同调类型理论和构造数学，月薪具有竞争力，并提供全面的社会福利。
一般信息计算机科学与工程系是一个由哥德堡大学和查尔姆斯理工大学共同管理的综合性系科。该系因其卓越的研究和教育而广受认可，并拥有来自 40 多个国家的约 300 名员工，具有很强的国际性。我们的系位于瑞典第二大城市哥德堡，根据全球目的地可持续发展指数，哥德堡自2016年以来每年都是全球最具可持续发展能力的目的地。
该部门下设四个分部，研究范围从理论基础到应用系统开发。该职位的雇主是查尔姆斯理工大学，工作地点在计算科学部的逻辑与类型部门。您将置身于一个生动活泼的研究环境中，与该职位领域以及类型理论、图论、函数式编程、形式化方法和信息安全等其他领域的研究人员进行有趣的互动。
项目背景和简介范畴理论是数学的一种组织语言。高范畴概括了范畴，用同调类型取代了对象之间的态集。某些现象，如降序或等价性，只有在高范畴中才能得到令人满意的解释。
构造数学是一种有效证明的数学方法，它产生了构造证明对象的算法。虽然普通范畴理论在很大程度上是构造性的，但使用简集中的准范畴模型发展出来的高范畴理论通常不是，这是因为要使用排除中间来使每个简集都是共纤的。
该项目的目标是在建构环境中发展高范畴（也称为（∞, 1）范畴）理论，并研究其与同调类型理论的联系。这将使用分析、形式和合成方法。
要获得博士后研究员的任职资格，您必须拥有计算机科学、数学或与本公告项目相关的其他领域的博士学位，或被视为等同于此类博士学位的外国学位。
您应熟悉范畴理论，并对类型理论、同调理论或高等范畴感兴趣。熟悉以下任何一个主题都是有益的：构造数学、类型理论、抽象同调理论、高阶范畴模型、单纯集。
由于教学是职责的一部分，有教学经验者优先。
该部门的工作语言是英语，因此该职位要求具备良好的英语口头和书面交流能力。
我们提供在查尔姆斯，我们寻求建立良好的工作/生活平衡。我们希望为您提供各种手段，让您在追求与众不同的过程中选择最佳途径。我们在这方面的雄心体现在优厚的就业条件上，其中包括
每年 28-35 天的假期津贴，视年龄而定；
集体协议，包括育儿工资、病假补助和医药费；
用于促进健康活动的健康津贴；
灵活的工作条件。
https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job=13267
false
瑞典哥德堡
博士后研究员
查尔姆斯理工大学
高等类理论博士后研究职位
具有竞争力
https://www.chalmers.se/en/Pages/default.aspx
2024-11-03
true
false
false
false
offer要求 [offer requirements]
要获得博士后研究员的任职资格，您必须拥有计算机科学、数学或与本公告项目相关的其他领域的博士学位，或被视为等同于此类博士学位的外国学位。
您应熟悉范畴理论，并对类型理论、同调理论或高等范畴感兴趣。熟悉以下任何一个主题都是有益的：构造数学、类型理论、抽象同调理论、高阶范畴模型、单纯集。
由于教学是职责的一部分，有教学经验者优先。
该部门的工作语言是英语，因此该职位要求具备良好的英语口头和书面交流能力。
我们提供在查尔姆斯，我们寻求建立良好的工作/生活平衡。我们希望为您提供各种手段，让您在追求与众不同的过程中选择最佳途径。我们在这方面的雄心体现在优厚的就业条件上，其中包括
每年 28-35 天的假期津贴，视年龄而定；
集体协议，包括育儿工资、病假补助和医药费；
用于促进健康活动的健康津贴；
灵活的工作条件。
https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job=13267
false
瑞典哥德堡
博士后研究员
查尔姆斯理工大学
高等类理论博士后研究职位
具有竞争力
https://www.chalmers.se/en/Pages/default.aspx
2024-11-03
true
false
false
false
offer福利 [offer benefits]
我们提供在查尔姆斯，我们寻求建立良好的工作/生活平衡。我们希望为您提供各种手段，让您在追求与众不同的过程中选择最佳途径。我们在这方面的雄心体现在优厚的就业条件上，其中包括
每年 28-35 天的假期津贴，视年龄而定；
集体协议，包括育儿工资、病假补助和医药费；
用于促进健康活动的健康津贴；
灵活的工作条件。
https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job=13267
false
瑞典哥德堡
博士后研究员
查尔姆斯理工大学
高等类理论博士后研究职位
具有竞争力
https://www.chalmers.se/en/Pages/default.aspx
2024-11-03
true
false
false
false