I think there are two names that warrant serous consideration for that job.
Gary Patterson - defensive minded coach who has shown ability to field explosive offense.
Al Golden - I think this guy can coach. I don't think he can be judged on what he has done at the U. He was sold a bill of goods there and it's a shuffle step from being a dumpster fire.
Outside of that I think Todd Graham would be a good fit too.
As much a like CJM I just don't he is ready for the SEC yet. Other than those mentioned no one really impresses on the college level.
Patterson has had opportunities to leave TCU in the past and hasn't. I think he enjoys being TCU's version of Bill Snyder - brought them from irrelevance to relevance and into a Power 5 conference. He can do no wrong in the eyes of TCU. He wouldn't have that luxury at UF.
I think Foley would stay away from Grahm, given his reputation as a job hopper. After the last few coaches had relatively short tenures, I think Foley will look for someone who may be around for a while.
Golden is an interesting choice. He's a good coach, he's got recruiting connections established in Florida already and he may feel that he was mislead about just how much crud Miami was going to land in. I think he'd be a pretty good hire for Florida.