As you feared, there is malware that cannot be removed by simply formatting the hard drive.
The likelihood of this happening is extremely low.
Viruses that cannot be removed by formatting the hard drive are viruses that write to the UEFI.
Because this is an extremely difficult process, only a...