Careers at MIRI

Posted by & filed under News.

We’ve published a new Careers page, which advertises current job openings at MIRI. As always, we’re seeking math researchers to make progress on Friendly AI theory. If you’re interested, the next step is not to apply for the position directly, but to apply to attend a future MIRI research workshop. We are also accepting applications for… Read more »

Ronald de Wolf on Quantum Computing

Posted by & filed under Conversations.

Ronald de Wolf is a senior researcher at CWI and a part-time full professor at the University of Amsterdam. He obtained his PhD there in 2001 with a thesis about quantum computing and communication complexity, advised by Harry Buhrman and Paul Vitanyi. Subsequently he was a postdoc at UC Berkeley. His scientific interests include quantum… Read more »

Robust Cooperation: A Case Study in Friendly AI Research

Posted by & filed under Analysis.

The paper “Robust Cooperation in the Prisoner’s Dilemma: Program Equilibrium via Provability Logic” is among the clearer examples of theoretical progress produced by explicitly FAI-related research goals. What can we learn from this case study in Friendly AI research? How were the results obtained? How did the ideas build on each other? Who contributed which pieces?… Read more »

Two MIRI talks from AGI-11

Posted by & filed under News, Video.

Thanks in part to the volunteers at MIRI Volunteers, we can now release the videos, slides, and transcripts for two talks delivered at AGI-11. Both talks represent joint work by Anna Salamon and Carl Shulman, who were MIRI staff at the time (back when MIRI was known as the “Singularity Institute”): Salamon & Shulman (2011)…. Read more »

Mike Frank on reversible computing

Posted by & filed under Conversations.

Michael P. Frank received his Bachelor of Science degree in Symbolic Systems from Stanford University in 1991, and his Master of Science and Doctor of Philosophy degrees in Electrical Engineering and Computer Science from the Massachusetts Institute of Technology in 1994 and 1999 respectively. While at Stanford, he helped his team win the world championship… Read more »

Emil Vassev on Formal Verification

Posted by & filed under Conversations.

Dr. Emil Vassev received his M.Sc. in Computer Science (2005) and his Ph.D. in Computer Science (2008) from Concordia University, Montreal, Canada. Currently, he is a research fellow at Lero (the Irish Software Engineering Research Centre) at University of Limerick, Ireland where he is leading the Lero’s participation in the ASCENS FP7 project and the… Read more »

Existential Risk Strategy Conversation with Holden Karnofsky

Posted by & filed under Conversations, MIRI Strategy.

On January 16th, 2014, MIRI met with Holden Karnofsky to discuss existential risk strategy. The participants were: Eliezer Yudkowsky (research fellow at MIRI) Luke Muehlhauser (executive director at MIRI) Holden Karnofsky (co-CEO at GiveWell) We recorded and transcribed the conversation, and then edited and paraphrased the transcript for clarity, conciseness, and to protect the privacy… Read more »