I am currently interested in funding a promising post-doctoral researcher.

I am interested in designing and building systems that are reliable in the presence of both hardware faults and software bugs. This means designing systems that employ fault-tolerant replication, formal verification---or both.

Most of my projects involve building and evaluating a system, for which solid programming skills are required. However, I find fundamental theoretical questions very intriguing, too. So, if you like to build systems or to understand how their fundamentals work, send me an email introducing yourself and let me know a little bit about your background and interests.

A strong candidate would have experience in publishing at top venues in his/her field (e.g. SOSP/OSDI/NSDI for systems, CAV/POPL/PLDI for formal verification, etc.)