Bernard Metzler, IBM Research Zurich