program verification Jobs - November 2025
Search by company, role, stack, location, salary signal, source, and work setup.
-
Harvard SEAS
Postdoctoral Fellow
Posted 9 months ago
I am looking for a postdoctoral fellow interested in the intersection of programming languages and artificial intelligence, in particular verification and large language models. Our main goal is to create a PL+AI system that is the best at verified program sy…
Roles
Tech stack
Location
Greater Boston Area