Sort by
Refine Your Search
-
Category
-
Country
-
Field
-
requirements quality assurance and architecture analysis, as well as downstream verification & validation activities, such as software testing and runtime verification. For further information, you may refer to
-
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
-
achievements in one or more of the following areas: Robustness, security, and privacy of AI/ML systems Adversarial testing, verification, and certification of AI Explainability, interpretability, and