Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
; probabilistic program logics; logical relations for relational reasoning about safety, liveness, and security properties; formal modeling of low-level capability machines and secure compilation; program logics
-
industry experts. These solutions will be designed to meet the stringent security requirements for producing high-value, mission-critical components. Application deadline: November 24, 2025. Introduction
-
our team at DTU Compute, offering a fully funded position within a dynamic and interdisciplinary research environment. The positions are part of the research project “AI-driven materials optimization
-
transcriptomics and bioimaging to study human liver biopsies and advanced, preclinical models. A combination of wet-lab and computational biology, close ties to the clinic, and a wonderful team of early career
-
24 Aug 2025 Job Information Organisation/Company Aalborg Universitet Department The Technical Faculty of IT and Design, Department of Computer Science, Human-Centered Computing Research Field
-
Job Description If you are excited by the challenge of understanding extinction through cutting-edge computational approaches, this postdoc offers a unique opportunity. You will help develop a
-
DTU Bioengineering aiming to design novel Carbohydrate-Active enZymes (CAZymes) de novo (from scratch). Using state-of-the-art AI-based protein design tools, the project integrates computational design
-
of magnesium-based binders in different environments, with particular interest in carbonation mechanisms. You will gain hands-on experience with advanced equipment and computational modelling tools to analyse
-
through the EU Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description Are you a researcher focused on thermal