Roman Pletka, IBM Research Zurich