Here is what Wiki says:
Brevard Community College - Wikipedia, the free encyclopedia
So let's look at the Florida College System: Florida College System - Wikipedia, the free encyclopedia
So it appears the Professor is a state employee.
.
Brevard Community College - Wikipedia, the free encyclopedia
Brevard Community College, founded in 1960, is a community college on Florida's Space Coast, in Brevard County, Florida. It has four campuses in Cocoa, Melbourne, Palm Bay, and Titusville, as well as an Aerospace program at Kennedy Space Center and a Virtual Campus. BCC is a member institution of the Florida College System.
So let's look at the Florida College System: Florida College System - Wikipedia, the free encyclopedia
The Florida College System, previously known as the Florida Community College System, is an organization of twenty-eight public community colleges and state colleges in the U.S. state of Florida. In 2009, enrollment consisted of over 800,000 students.[1] Together with the State University System of Florida, which includes Florida's eleven public four-year universities, it is part of Florida's system of public higher education.
While governed by local boards, the colleges and technical centers are coordinated under the jurisdiction of Florida's State Board of Education.
So it appears the Professor is a state employee.
.