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