上下文

IRIF公司法国巴黎(CNRS和巴黎城市大学)正在寻找计算机科学基础所有领域的优秀博士研究生候选人。每年大约有20名博士生在IRIF开始博士研究。

IRIF(计算机科学基础研究所)是中国科学院(法国国家科学研究中心)和巴黎城市大学目前,它拥有约90名长期教员、40名非长期全职研究人员和50名博士生。

IRIF的研究基于对计算机科学所有领域基础的研究和理解。这种研究工作依赖于在其中发展和研究的数学概念,但它也直接有助于数学。典型领域包括但不限于:算法、算法设计和分析、,自动机理论和应用,组合学,复杂系统,复杂性,计算形式,分布式计算,编程语言基础,交互式校对助理,图论及其算法,逻辑,网络,量子计算,软件开发,系统建模和验证。有关IRIF的更多信息,请参阅我们的IRIF的介绍.


IRIF博士研究描述

在法国,博士研究通常是3年长,在某些情况下可以扩展到4年.博士研究金是全职研究合同,包括一些可选的附加活动,如教学。这个开始日期的位置通常在10月1日,但这有时可能会有所不同。所有IRIF博士生必须在巴黎数学科学博士学院(ED386)。

从IRIF开始的许多博士研究是硕士课程的延续,例如LMFI公司MPRI公司但这不是强制性的,IRIF定期欢迎博士生在获得另一所法国或外国大学硕士学位后加入。

IRIF还参加了巴黎城市大学的两所研究生院:数学科学量子技术.

通过IRIF及其相关合作伙伴(如IRIF研究补助金、巴黎大学、区域项目、产业合作伙伴……)申请奖学金或向独立于IRIF的其他机构(如他/她的当前机构、法国校园……)提出申请,即可获得IRIF博士学位的资助。

此外,博士生可以在学习期间担任助教。更多信息(法语)。


如何申请

建议尽快联系IRIF,以免错过可能的通话(参见可能的资金(见下文)。

理想情况下接触应该是你想合作的研究员。它也可以是与您的科学兴趣相对应的专题小组的负责人或极的负责人(参见IRIF的介绍). 请避免增加联系人(或者,用一封电子邮件联系所有相关人员,以便他们了解这一点)。

独立地,也有可能直接应用于一个或多个特定研究金由研究拨款资助。可以找到该列表在下面它不是详尽无遗,随时可能更新。

在任何情况下,候选人都应该加入CV,并建议提供尽可能多的信息(例如抄本她/他在学士和硕士课程中的分数)。


可能的资助和主题

IRIF的博士资助由IRIF研究资助或IRIF成员和候选人向IRIF附属的外部资助机构联合申请资助。

普通基金

有几种可能的资助方式,候选人应联系IRIF寻求指导。

IRIF取决于研究生院 ED 386-巴黎中心数学科学博士。每年有几笔奖学金直接从该校拨款。IRIF也有资格获得其合作伙伴的几个资助项目,这些项目允许受益者在IRIF进行博士研究以及其他可能性。以下列出了2023年与IRIF最相关的项目:

  • ED 386-巴黎数学中心科学博士-截止日期2023年6月9日,IRIF提交前截止日期为2023年5月21日。
  • “Jean‐Pierre Aguilar”奖学金基金会CFM-(当地)截止日期2023年6月5日
  • 残疾申请人的特殊计划也可通过残疾博士-(当地)截止日期2023年5月23日
  • 联合基金MathPhDIn法兰FSMP提供24个由合格实验室共同指导的博士研究生名额,一个在法国实验室,另一个在其他地区-申请程序的第一步一直开放到2024年2月14日。重要的资格条件:候选人在2021年2月14日至2024年2月4日期间在法国的时间不得超过一年。

应用程序通过法国校区也可以获得个人奖学金。

具体主题

下面的列表描述了IRIF潜在的博士课题,其中一些有专门的奖学金。否则,候选人必须向其潜在顾问申请一项普通资助。此列表随时更新。
要添加空缺,请联系direction@irif.fr.

恶意软件(病毒)检测的模型检查

招募的博士生将研究和开发用于恶意软件检测的新技术、算法和工具。最终目标是构建一个恶意软件检测器,击败现有的商业恶意软件检测工具。有关更多详细信息,请访问:http://www.irif.fr网址/~touili/sujet-PhD.pdf
资金:项目拨款。打开通话.
候选人必须拥有计算机科学硕士学位。他们必须向touili@irif.fr联系Tayssir TOUILI,touili@irif.fr.

量子计算

这个“算法和复杂性”组位于巴黎(法国)的IRIF(CNRS,巴黎城市大学)邀请申请多个全额资助的博士职位,以研究量子计算理论。鼓励具有更广泛量子计算或理论计算机科学专业知识的候选人申请。
该小组拥有量子算法和量子复杂性理论方面的专业知识,包括西蒙·阿佩斯、杰弗里·库托、皮埃尔·弗拉吉诺、伊奥丹妮斯·科雷尼迪斯、索菲·拉普兰特、弗雷德·里克·马格尼兹、克莱尔·马蒂厄、米克洛斯·桑塔和阿德里安·弗拉杜等常任成员。
资金:内部拨款。打开通话。申请时间:algocomp-apply@irif.fr.联系人simon.apers@irif.fr.

超越最坏情况的复杂性

在许多情况下,算法适用于非常特定的数据分布。例如,社会图遵循幂律度分布,一些非常简单的算法在这些分布上很好地工作。在这种情况下,哪些难题仍然很难解决或变得很容易?这是近似算法的主要问题,包括决策问题、搜索问题、优化和计数问题的性质测试。
资金:适用于一般空缺。联系人:米歇尔·德·罗杰蒙特

组合优化和机器学习的快速算法

本项目的目标是为基本算法问题开发快速实用的解决方案。这包括为组合优化中的经典问题(包括图、匹配、子模块函数、拟阵等)设计更快的算法,并开发与现代机器学习相关的新理论(重点是深度学习)。数学工具包基于连续优化的现代技术,并与凸几何、概率和数值线性代数的其他有趣理论相冲突。
资金:适用于一般空缺。联系人:阿德里安·弗拉杜

计算变量

我们的目的是通过剖析Lambda理论的代数结构,通过泛代数的透镜来研究Lambda微积分。一旦找到合适的结构,这两个领域的新结果即将到来,正如最近关于n维布尔代数和克隆代数的工作所证明的那样。
资金:适用于一般空缺。联系人:安东尼奥·布恰雷利