Die Höhe der Pension bei Beamten wird nach der Höhe der ruhegehaltsfähigen Bezüge berechnet. Mit Brutto oder Netto im landläufigen Sinn hat das überhaupt nichts zu tun.
Die sind aber brutto - schon deshalb, weil die Pension wie Bruttogehälter voll versteuert werden.