operating systems careers in Eindhoven, Netherlands