-
software systems, carrying out both upstream activities, such as requirements quality assurance and architecture analysis, as well as downstream verification & validation activities, primarily software
-
Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Scienc...
broadly construed, e.g., functional programming, quantum programming, semantics, type theory, effect systems, formal verification, static analysis, reactive, concurrent, and parallel programming, compilers
Enter an email to receive alerts for software-verification "https:" positions