Sort by
Refine Your Search
-
architecture that synergizes symbolic methods—specifically ontologies and knowledge graphs to formalize domain knowledge about the planning task, as well as heuristic search and automatic planning to find
-
and promotes excellent and socially relevant research in this area. Where to apply Website https://iventajobdata.eu/bestmedia/img/2247088/1897865/cl/5ef4622de07a3096bb9d2… Requirements Specific
-
), technologies in the area of Internet-of-Things, web-based systems, databases, cloud computing, formal methods in CS Expertise in various application areas of Computer Science Proven interest in scientific work
-
computer science or related fields Excellent accademic skills and strong interest in Electronic Design Automation (EDA) Strong expertise in hardware design, verification, and the use of formal methods Excellent
-
interested in behavioral aspects pertaining to organizational design decisions relevant to firms operating in (technologically) innovative environments. We are agnostic to methods and pursue formally