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
-
part of a larger EU project entitled “FEDORA - Federation of network optimization services, simulation foresights, and data alchemy for adaptable, agile, secure, and resilient multimodal traffic
-
This is a full-time (37 hours/week) on-site role located at Åbogade 34, 8200 Aarhus N, Denmark for a Postdoctoral Fellow at the Department of Computer Science, Aarhus University. The postdoctoral
-
to special rules for security and export control, open-source background checks may be conducted on qualified candidates for the position. DTU Electro is the Department of Electrical and Photonics
-
Graph Machine Learning and Graph Data Management At Section for DATA, Department of Computer Science, Aalborg University, a postdoc position is available. The project is funded by a Novo Nordisk
-
, gender, disability, race, religion, or ethnic background, are encouraged to apply. As DTU works with research in critical technology, which is subject to special rules for security and export control, open
-
Job Description We are seeking a highly motivated and talented Postdoctoral Researcher to join our team and contribute to our cutting-edge quantum computing project. This ambitious project focuses
-
and discovery Integrate computational and experimental results to advance mechanistic understanding and predictive modelling Collaborate with academic and industrial partners Mentor and supervise
-
estimation. Performing experiments to investigate synthetic samples, field samples, and samples from other projects in the program. This will require a well-established connection to other projects. Co
-
offered on the psychology programme Undertake research and publish research output of an internationally recognized quality Engage in external research networks and collaborations Engage in knowledge