5 software-verification-"https:" positions in Denmark

Associate Professor or DTU Tenure Track Assistant Professor in Computer Science (Software Systems Engineering) - DTU Compute Professor in Computer Engineering & Hardware Design - DTU Compute

Technical University of Denmark | Denmark | about 2 months ago

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...

Nature Careers | Odense C, Region Syddanmark | Denmark | 2 months ago

broadly construed, e.g., functional programming, quantum programming, semantics, type theory, effect systems, formal verification, static analysis, reactive, concurrent, and parallel programming, compilers

One or more Assistant Professors in Computer Science  

Aalborg Universitet | Denmark | 3 months ago

 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

Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Science with a focus on Automated Reasoning, Logic, or Programming Languages

University of Southern Denmark | Denmark | 3 months ago

broadly construed , e.g., functional programming, quantum programming, semantics, type theory, effect systems, formal verification, static analysis, reactive, concurrent, and parallel programming, compilers