-
scholar will join the Computational Logic Center (CLC) within the department of computer science. The CLC performs research across programming languages, formal verification, and automated reasoning, and
-
communication skills, both written and oral • Strong data analysis skills, including experience with statistical software (SAS, R) • Demonstrated ability to prepare manuscripts, reports, data visualizations
Searches related to software verification
Enter an email to receive alerts for software-verification positions