documentation careers in Eindhoven, Netherlands