1 software-verification Fellowship positions at Harvard University

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for software-verification positions

Postdoctoral Fellowship in Computer Science - Programming Languages and Artificial Intelligence

Harvard University | Cambridge, Massachusetts | United States | 3 months ago

the intersection of programming languages and artificial intelligence (PL+AI), in particular verification and large language models. Our main goal is to create a PL+AI system that is the best at verified program

Searches related to software verification

Enter an email to receive alerts for software-verification positions