Vacature machinist – terminal operator