Sort by
Refine Your Search
-
hardware; optimization techniques for high-performance multicore processors; innovative hardware solutions targeting cybersecurity resilience; leveraging AI and cloud technologies in EDA; edge computing and
-
available in Danish) and taxation . The successful candidate will be enrolled at this university in accordance with faculty regulations and the Danish Ministerial Order on the PhD Programme at
-
Job Description The Department of Mathematics and Computer Science (IMADA) at the University of Southern Denmark (SDU) invites applicants for one or more positions in Computer Science on Assistant
-
an outstanding candidate to fill a tenure track Fellow (Assistant Professor level) position in the field of Computer Science, with emphasis on formal methods and theorem proving. The candidate is expected to start
-
collaborate with us on ambitious formalisation projects. An ideal candidate: holds a PhD degree in computer science, or a PhD degree in mathematics, or equivalent; has a research track record at a high
-
Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Scienc...
), Constraint Solving, Planning, Answer Set Programming, Model Checking, Symbolic Computation, Knowledge Representation, Reasoning under Uncertainty, Non-monotonic Reasoning, Expert Systems. Programming languages
-
) seek an outstanding candidate to fill a tenure track Fellow (Assistant Professor level) position in the field of Computer Science, with emphasis on formal methods and theorem proving. The candidate is
-
Engineering Cybersecurity Distributed and Cloud Computing Operating Systems and Digital Infrastructure AI for Software Engineering Software Engineering for Internet of Things Software Engineering for Cyber
-
), Constraint Solving, Planning, Answer Set Programming, Model Checking, Symbolic Computation, Knowledge Representation, Reasoning under Uncertainty, Non-monotonic Reasoning, Expert Systems. Programming languages