Rivera, Juan, Instituto de Matemática Pura y Aplicada (IMPA), Brasil