program verification Jobs - November 2025

Sort by

Search

Location

Has Compensation Summary

Has Contact Info

Remote

Onsite

Tech Stack

Title

Reset

Harvard SEAS

Posted 1 day, 7 hours 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 …

Roles
Postdoctoral Fellow

Tech Stack
Dafny program verification Large Language Models (LLMs) programming languages program synthesis GitHub

Locations

Greater Boston Area