Paula Ta-Shma, IBM Haifa Research Laboratories