多产的Haskell开发人员爱德华Kmett已加入MIRI团队!
Edward最出名的可能是在函数式编程中普及了透镜的使用。镜头是一种工具，它提供了一个组合词汇表，用于访问更大结构的部分，并描述您想要用这些部分做什么。
除了lens库，Edward还维护了Haskell核心库的大部分库，涵盖了从自动区分(在深度学习、计算机视觉和财务风险中大量使用)到分类理论(严重倾向于组织软件)到图形、SAT绑定、RCU方案、用于编写编译器的工具等等。
爱德华加入mii的最初支持来自mii长期捐赠者Jaan Tallinn的资金。捐赠热情的增加使MIRI在总体上处于一个很好的位置，可以聘用更多的工程师，并考虑为他们领域的顶级工程师提供极具竞争力的薪水，比如爱德华，他对与我们合作感兴趣。
在米里,爱德华是分裂之间的时间帮助我们增长我们的研究团队和潜水的研究他已经独立发展的背景有一段时间了:建立一个新的语言和基础设施,使亚博体育官网人们更容易编写高度复杂的计算机程序与已知的属性。虽然我们是他的工作的忠实粉丝，爱德华的研究是独立于我们在我们的亚博体育官网2018年更新我们不认为这是我们的核心研究重点。亚博体育官网
我们非常高兴爱德华能加入mii。我们希望从我们的互动中学习和收获很多，我们也希望爱德华加入团队，让他和MIRI的其他员工能够相互借鉴解决问题的最佳启发性方法，并随着时间的推移在研究方向上汇聚。亚博体育官网
正如我们最近所描述的更新，我们的新研究方向侧重于理论的严格性和亚博体育官网工程实践的结合，Edward和函数式编程社区以这一点而闻名:
我们所有的新方法的共同之处在于，都关注于使用高级理论抽象来实现对我们所构建的系统的连贯推理。亚博体育苹果app官方下载这其中的一个具体含义是，我们用Haskell编写了很多代码，并且经常从类型理论的角度来思考我们的代码。
MIRI的非营利性使命是，确保比人类更智能的人工智能系统一旦开发出来，就拥有一个亚博体育苹果app官方下载积极的影响在世界。我们想要真正实现这个目标，而不仅仅是做做样子解决问题。
我们目前对所涉及挑战的模型表明，未来工程师面临的核心症结可能是，人工智能的构建模块不够透明。我们认为，在某些地方，某些人需要发展一些新的基础和深刻的理论/见解，而不仅仅是改进或扩大当前的标准技术所可能产生的结果。
我们认为函数式程序员的技能集往往特别适合这类工作，我们相信我们新的研究领域可以吸收大量的程序员和计算机科学家。亚博体育官网因此，我们希望这份招聘公告能同时成为招聘宣传:考虑一下加入我们的研究工作亚博体育官网！
了解更多在MIRI工作的情况，以及我们在寻找什么样的候选人，请点击这里我们最后一个大帖子或者向MIRI研究员巴克·施莱格亚博体育官网里斯(Buck Shlegeris)开枪一个电子邮件．
