×
Register Here to Apply for Jobs or Post Jobs. X

Postdoc: Formal Methods & Verification; On Campus

Job in Charlotte, Mecklenburg County, North Carolina, 28245, USA
Listing for: Computing Research Association
Full Time position
Listed on 2026-01-20
Job specializations:
  • Research/Development
    Research Scientist, Postdoctoral Research Fellow
Job Description & How to Apply Below
Position: Postdoc: Formal Methods & Verification (On Campus)
A leading urban research university in Charlotte, NC seeks a Postdoctoral Fellow in Computer Science. The candidate must have a Ph.D. and strong research expertise in formal methods, including skills in model checking and theorem proving. Responsibilities entail conducting research and collaborating with faculty. The position requires on-campus presence, providing a vibrant academic environment. Anticipated start date is March 2026, and candidates will be evaluated based on their qualifications and relevant experience.
#J-18808-Ljbffr
To View & Apply for jobs on this site that accept applications from your location or country, tap the button below to make a Search.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).
 
 
 
Search for further Jobs Here:
(Try combinations for better Results! Or enter less keywords for broader Results)
Location
Increase/decrease your Search Radius (miles)

Job Posting Language
Employment Category
Education (minimum level)
Filters
Education Level
Experience Level (years)
Posted in last:
Salary