I'm particularly happy that you are working on formalizing the problems. Does this represent a change (or compromise) in E's stance on doing research in the open?

I don't think it was ever Eliezer's position that all research had to be done in secret. There is a lot of Friendliness research that can be done in the open, and the 'FAI Open Problems' document will outline what that work is.