From 2001 to 2005, he held research positions at Harvard University, MIT, the Radcliffe Institute for Advanced Study and the Toyota Technological Institute at Chicago. Since 2005, he has been a faculty member of the Computer Science Department at Technion - Israel Institute of Technology, Haifa. His research interests are in the areas of computational and proof complexity, probabilistically checkable proofs, locally testable error-correcting codes and succinct computational integrity.