Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
for Basic Research in Program Verification (CPV) include: extensions of higher-order concurrent separation logics (such as our Iris logic, see iris-project.org ), e.g., to reason about distributed systems
-
At the Faculty of Medicine, Department of Health Science and Technology, a position as Postdoc in Medical Informatics and Image Analysis Group is open for appointment from November 1, 2025 or soon
-
project supported by the Challenge Programme of the Novo Nordisk Foundation: “Mathematical Modelling for Microbial Community Induced Metabolic Diseases”, led by Prof. Daniel Merkle. The expected starting
-
Is the job funded 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 We are developing
-
Post Doctoral Researcher in Digital Twins CO2-to-Protein production in collaboration between the ...
mission enabler programme under CORC, where other modelling activities will run in parallel to support and be supported by the findings of the digital twin solution. This innovative ambition is shared with
-
part of a team, be happy to share thoughts and receive feedback from other team members, and be able to carry out parallel tasks In addition, it is preferable that you: Have experience with processing