Cavalin, Paulo, IBM Research, Brasil