Blog

Day: March 18, 2016

Seeking Research Fellows in Type Theory and Machine Self-Reference

The Machine Intelligence Research Institute (MIRI) is accepting applications for a full-time research fellow to develop theorem provers with self-referential capabilities, beginning by implementing a strongly typed language within that very language. The goal of this research project will be...