Sort by
Refine Your Search
-
. For example, how can we restore Rust’s safety guarantees when integrating it with legacy C code? More generally, how can we ensure that software components—written in different languages and by different
-
, quantum networks are slowly becoming a reality. The coordination algorithms that govern their operation are unlike those employed in classical networks, necessitating novel verification approaches. The goal
-
26 Sep 2025 Job Information Organisation/Company Leiden University Research Field Computer science » Computer hardware Computer science » Digital systems Researcher Profile First Stage Researcher
-
Job description The TU Delft’s Faculty of Electrical Engineering, Mathematics, and Computer Science (EEMCS), invites applications for a fully funded PhD position. This exciting project aims
-
The Faculty of Science and the Leiden Institute of Advanced Computer Science (LIACS) are looking for a: PhD candidate, Cryptographic Hardware and Design Automation Project description We are looking
-
Apply now The Faculty of Science and the Leiden Institute of Advanced Computer Science (LIACS) are looking for a: PhD candidate, Cryptographic Hardware and Design Automation Project description We
-
storage in our energy system? Contribute now to quantifying the economic impact of different technologies for heat storage. Job description In PUSH-IT we developed a unified framework for the combined
-
27 Sep 2025 Job Information Organisation/Company University of Groningen Research Field Computer science » Programming Researcher Profile First Stage Researcher (R1) Country Netherlands Application
-
7 Oct 2025 Job Information Organisation/Company University of Amsterdam (UvA) Research Field Computer science » Informatics Researcher Profile First Stage Researcher (R1) Country Netherlands
-
Are you interested in the role of heat storage in our energy system? Contribute now to quantifying the economic impact of different technologies for heat storage. Job description In PUSH-IT we