男性公务员人数为12000 × 55% = 6600人，因此女性公务员为12000 - 6600 = 5400人。