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
-
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
-
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
-
or related fields. Preferably strong interest and foundation in immunology, immune cell assays, or translational research. Preferably experience with computer-guided protein engineering. Experience in human
-
27 Aug 2025 Job Information Organisation/Company Aalborg Universitet Department The Technical Faculty of IT and Design, Department of Computer Science, Department of Computer Science, Copenhagen
-
sustainable and resilient agricultural systems. The research team you will join is coordinating an international program that brings together leading scientists from around the world to investigate beneficial
-
sustainable and resilient agricultural systems. The research team you will join is coordinating an international program that brings together leading scientists from around the world to investigate beneficial
-
Job Description These days, the inner workings of molecules and materials can be probed and modelled by advanced simulation tools on modern computer architectures. However, the routine applications