Sort by
Refine Your Search
-
. We advance and apply research techniques from the following areas: Formal methods (e.g. programming languages, formal modelling, formal verification) Process science (e.g. process mining, BPM) and our
-
barrier structures and associated vessel operations. However, the mechanical design and verification of standardised subsea HVDC electrode units require a rigorous understanding of environmental loading
-
At the Technical Faculty of IT and Design, Department of Computer Science, a 2-year Postdoc position in theories for programming semantics, methods for verification and reliability assurance
-
At the Technical Faculty of IT and Design, Departmentof Computer Science, one PhD stipend intheories for programming semantics, methods for verification and reliability assurance of combined
-
Faculty of IT and Design, Department of Computer Science, a 2-year Postdoc position in theories for programming semantics, methods for verification and reliability assurance of combined classical and
-
enhance machine learning performance; novel chip design strategies prioritizing efficiency and cost; verification of digital designs; advancements in electronic design automation (EDA), especially for AI
-
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
-
broadly construed , e.g., functional programming, quantum programming, semantics, type theory, effect systems, formal verification, static analysis, reactive, concurrent, and parallel programming, compilers