Describir: Engineering of many-body Majorana states in a topological insulator/s-wave superconductor heterostructure