巴黎高等师范学院（École Normale Supérieure de Paris）拥有200多年的历史，曾经产生过13位诺贝尔奖和11位菲尔兹奖，是法国最富盛名的研究型学府。Antiques研究室是其计算机系下10个研究室中的一个，位置就在学校的主楼。

Antiques研究室从事计算机语言和程序的研究，在程序静态分析（static analysis）和抽象解释（abstract interpretation）方向世界知名。近些年来，研究员们把经典的程序分析技术应用于广泛使用的微软Excel等表格软件，旨在增强这种最普遍的编程工具，让更广阔的人群受益。2016年我们在法国成立了Matrix Lead（www.matrixlead.com）公司，帮助技术转化。目前产品包括在Excel中提供JavaScript编程工具、对Excel和VBA程序自动纠错、自动优化、辅助编辑等。产品服务用户包括金融机构、咨询公司、初创公司及Excel个人用户。

2018年8月，我们的项目获得欧洲研究委员会（European Research Council）的经济资助，支持我们进一步的产品开发、技术转化和软件商业化。于是，我们在全球范围内招聘若干名研究员、程序员、实习生来扩大团队，加速项目的进行。

职位描述:

我们的两年目标是开发和推广一个商业级的程序分析内核和被它支撑的一套工具，来受益从初级Excel用户到高级Excel程序员的大范围人群。我们要在世界范围内取得大量的Excel个人用户，和一定数量的公司级用户。我们要让我们的产品和技术在市场上受人瞩目。所以新的团队成员要加入以下工作：

• 掌握表格语言、VBA、JavaScript；了解表格软件的生态系统和相关研究

• 掌握表格软件插件的开发技术；整合、完善我们已有的工具；开发新的功能

• 学习程序静态分析和抽象解释，完善我们用OCaml语言编写的程序分析内核

• 实施客户的特殊需求

• 准备市场和销售材料，包括：网站，产品使用文档，演示视频；写工业和学术会议的文章和海报

• 参与对公司和个人的，线上和线下的，市场和销售

理想的应聘者:

一方面，我们希望应聘者和我们一样热爱信息技术和计算机科学；另一方面，基本上只有学习计算机多年、掌握多门语言的“程序员中的程序员”才会对编程语言理论和工具感兴趣。

• 工作时间：长期招聘，越快入职越好，合同不短于6个月；可以接受2019年3月份开始的毕业实习生

• 工作地点：巴黎高等师范学院。如果你愿意来法国巴黎，我们帮助你办签证和工作许可；如果你不能来巴黎，你也可以被Matrix Lead公司雇佣，远程工作

• 本科、硕士、博士最后一年在读，或者已经毕业但不超过7年

• 一流大学，计算机、信息技术、软件工程或相关理工专业

• 编程功底扎实，虽然并不需要已经掌握OCaml或JavaScript

• 了解函数式编程语言（比如：OCaml，Haskell）优先

• 对编程语言理论（比如：词法分析、语法分析、编译器、类型检查）有兴趣优先

• 有网络编程经验（比如：JavaScript框架）优先

• 在计算机学科竞赛（比如：NOI）中取得过好成绩优先

• 工作语言：英语或法语

• 有主动性、责任感、行动力、创造力、钻研精神；细致严谨、不怕困难

待遇回报:

如果新人来到巴黎，会在巴黎高等师范学院的Antiques研究室里工作，受雇于研究室的另一位合作单位法国国家信息与自动化研究所（Institut National de Recherche en Informatique et en Automatique），享受“研究和开发工程师”（Ingénieur recherche et développement）级别的薪资。如果不能来巴黎，可以被Matrix Lead公司雇佣，远程工作。新人会被Tie Cheng（Matrix Lead公司CEO）和Xavier Rival（Antiques研究室主任）两位导师联合指导。

当今社会对人才的要求越来越高，懂得编程已经成为了基本要求。你将会和团队一起用最先进的技术来提高表格软件这种最普遍的编程工具，同时把好的编程思想和理念传递出去，帮助和影响成千上万的人。

对计算机基础理论和技术的应用将会完全不同于你之前所有的软件开发，把你的认知和经验提高到一个新的高度。有了这个成功的经历之后，你将会有下面的机会：

• 读博士的机会。无论是在Antiques还是去其他研究室，我们会把你推荐给好的导师、好的学校和研究所。

• 和Antiques研究室走出的很多学生一样，对编程语言更深的了解可以让你更容易进入Microsoft、Google、Facebook等巨头公司工作

• 当然我们也欢迎你加入Matrix Lead公司，在这里掌握产品的细节和架构，参与市场和营销，决定公司的战略，经历创业的方方面面。几年之后你就成为市场争相追逐的技术大牛、CTO、科技创业领军人才。