Sort by
Refine Your Search
-
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
-
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
-
in machine learning and formal verification. Individuals with a demonstrated track record in scientific research, which can be evidenced through publications, technical reports, or impactful software
Searches related to software verification
Enter an email to receive alerts for software-verification positions