Sort by
Refine Your Search
-
Designs Hardware-Software Co-design for Machine Learning Applications Verification of digital designs Electronic Design Automation (EDA) for AI Hardware; AI and Cloud-Enhanced EDA High-Performance Multicore
-
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
-
fixed term full-time position. We are inviting applicants in all areas of computer science. The Department of Computer Science has the following research groups: Automated System Verification and
-
-party computation) to safeguard data privacy and model security during training and deployment. Deepfake detection: Develop advanced approaches to secure AI-driven media verification systems and prevent
-
broadly construed , e.g., functional programming, quantum programming, semantics, type theory, effect systems, formal verification, static analysis, reactive, concurrent, and parallel programming, compilers