Miri的最新招聘:Edward Kmett!
多产哈斯克尔开发商爱德华Kmett已加入MIRI团队!
Edward最出名的可能是在函数式编程中推广了镜头的使用。透镜是一种工具,它提供了一个组合词汇表,用于访问更大结构的部分,并描述您想用这些部分做什么。
除了镜头库之外,Edward在Haskell核心库周围维护了所有库的重要块,涵盖了从自动分化(大量深入学习,计算机愿景和财务风险)到类别理论(偏向于组织软件)到图形的所有内容,sat绑定,rcu方案,编写编译器的工具等。
爱德华加入MIRI的最初支持来自MIRI的长期捐赠者jan Tallinn。捐赠者的热情使MIRI处于一个非常有利的位置来招聘更多的工程师,并考虑为像Edward这样对与我们合作感兴趣的顶级工程师提供极具竞争力的薪水。
At MIRI, Edward is splitting his time between helping us grow our research team and diving in on a line of research he’s been independently developing in the background for some time: building a new language and infrastructure to make it easier for people to write highly complex computer programs with known desirable properties. While we are big fans of his work, Edward’s research is independent of the directions we described in our2018年更新,我们不认为这是我们的核心研究重点。金宝博娱乐
我们在Miri拥有爱德华,我们非常兴奋。我们希望从我们的互动中学习和获得很多,我们也希望在团队中向爱德华提供给他和其他Miri员工随着时间的推移窃取彼此的最佳问题解决启发式和汇集研究方向。金宝博娱乐
正如我们最近所描述的更新,我们新的研究线条对理论严谨和动手工程金宝博娱乐的混合繁重,以至于爱德华和功能规划社区为:
在所有新方法之间共同侧是一种专注于使用高级理论抽象来实现我们构建的系统的连贯推理。金宝博官方具体含义是我们在Haskell编写了许多代码,并且通常通过类型理论的镜头思考我们的代码。
Miri的非营利组织是为了确保令人更聪明的人类AI系统,一旦开发,有一个金宝博官方积极的影响在世界。我们想要真正实现这个目标,而不是仅仅通过解决问题的过程。
我们目前所涉及的挑战模型表明,未来工程师的核心症结可能是人工智能的构建模块不够透明。我们认为,在某些地方,有人需要开发一些新的基础和深刻的理论/见解,而这些可能超出提炼或扩展当前标准技术的范围。
我们认为功能程序员技能人员往往特别适合这种工作,我们相信我们的新研究领域可以吸收大量的程序员和计算机科学家。金宝博娱乐所以我们希望这款招聘公告作为招聘音价:考虑加入我们的研究工作金宝博娱乐!
要了解有关在Miri工作的内容以及我们正在寻找的候选人的更多信息,请参阅最后一篇文章,或者射杀MIRI研究人员Buc金宝博娱乐k Shlegeris一个电子邮件.