Some people retire at 55, some can retire/die later
.
There are a myriad of different contracts, with different conditions and payscales.
Pensions - you are likely to receive a lot of replies.
Simple answer - no pension
Provident fund is a different matter.
If one joined before 94, there is a defined benefit lump sum payout.
If a crew joined after 94, there is what I think best termed a variable input fund with an even great variable payout.
This latter option is at the mercy of the markets.
Clear as mud?