Yeah, nevermind any inconsistencies, I'm pretty sure all the Top Gun-inspired witches really are supposed to be Naval officers.
Lieutenant Rachel Karner (age 17). A member of the witch squadron abourd the United States of Liberion aircraft carrier "Saratoga"; her callsign is "Rogers 2", and her TAC name is "Slider". Her Striker Unit is an F/A-18A, and her familiar is a python. She stands at a height of 170cm (5'7") and, as Lieutenant Commander Kazanski's protege, is one of the top dogfighters in the Navy. She's fairly unusual as a record holder in Neuroi shootdowns using a shotgun in dogfights. However, she has quite a unique idea of what romance is, and is a considerable pervert. She's well known for repetitive problem behavior, like casually wandering around deck half-naked. I think Sakamoto Maaya would be a good voice actress for her.