Michael Factor, IBM Haifa Research Laboratories