Is there a formal definition of "data structure"? Data structure is a term that I've heard use I think only somewhat informally in software engineering. Is there a formal definition of it in CS?
No, the term doesn't have a formal definition.

You might be interested in the notion of an abstract data type, which does have a formalization.