Sort by
Refine Your Search
-
Federated Cloud Computing ( HCC ) We invite applications for a fully-funded 3-year PhD position on the topic of usable decentralization, i.e. on making distributed and federated cloud services accessible
-
distribution infrastructures, and heterogeneous networks and storage environments based on Cloud based services, CDNs and Edge Computing. This complex chain of delivery has negative implications
-
hardware; optimization techniques for high-performance multicore processors; innovative hardware solutions targeting cybersecurity resilience; leveraging AI and cloud technologies in EDA; edge computing and
-
stakeholders, and FORM is a key founding player in CSlib’s steering and technical leadership . Who we are looking for We are looking for candidates who possess (or are nearing completion of) a PhD in Computer
-
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
-
PhD Positions Country Denmark Application Deadline 1 Dec 2025 - 23:59 (Europe/Copenhagen) Type of Contract Temporary Job Status Full-time Is the job funded through the EU Research Framework Programme
-
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
-
competitive salaries and possibilities for startup packages. It also provides access to the university-level PhD programme in Computer Science. For the tenure-track assistant professor positions, applications
-
) 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