Miller has a list of set theory problems here (upper right).
Schindler also has a list of open problems specifically in inner model theory here.