Postdoctoral Fellow
Listed on 2026-01-20
-
IT/Tech
Data Scientist, AI Engineer, Computer Science
The College of Computing & Informatics at the University of North Carolina at Charlotte
, invites applications for a Postdoctoral Fellow position. Applicants for this position must hold a Ph.D. in Computer Science (or a closely related field) with a strong research background in formal methods, with demonstrated experience in model checking, theorem proving, and formal specification. Prioritized candidates will have experience with formal specification and verification tools (e.g., Lean, TLA+, Coq, SMT solvers, etc), as well as familiarity with high-assurance languages, provably correct software development, computer architecture, and/or systems security.
The position requires on-campus presence and is not remote.
Anticipated start is in March 2026. Detailed description of the position and the application process is available at (Use the "Apply for this Job" box below)./65608
With over 30,000 students, UNC Charlotte is North Carolina's urban research university and the fastest-growing institution in the UNC System. Located in the state's largest metropolitan area, the College of Computing and Informatics boasts more than 140 faculty members. The college is renowned for its research and teaching strengths in areas such as AI and machine learning, security and privacy, robotics, visualization, virtual and augmented reality, game design and development, high-performance computing, human-centered computing, bioinformatics, data science, software engineering, and computer science education.
The University of North Carolina at Charlotte is committed to equality of educational and employment opportunity and does not discriminate against applicants, students, or employees based on any protected status.
#J-18808-Ljbffr(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).