Who types the credit in a movie really? Is he in the credits?
Generally, producers hire specialists or a company in producing credits and give them a list of cast and crew to be included in the credit roll.
And then they get their names in the credits. Generally, it's up to producers to show their names in the end credits and under which section. They can be listed under a custom section, other credits, acknowledgement etc.
I am currently looking for under which section they are credited. I will update it as soon as I find it.