Sort by
Refine Your Search
-
Category
-
Program
-
Employer
-
Field
-
. We advance and apply research techniques from the following areas: Formal methods (e.g. programming languages, formal modelling, formal verification) Process science (e.g. process mining, BPM) and our
-
to electrify. In the Arctic, transport, heating and mining operations depend heavily on fossil fuels, and local hydrogen sources could be a sustainable alternative energy resource. Responsibilities and
-
of antibiotics against human pathogens. You will work on antibacterial assays (against Klebsiella) and use genome sequencing and mining to select the most potent strains and use a range of elicitor techniques
-
to ensure that the developed notations and algorithms address the companies’ needs. More about the related project can be found here: https://innovationsfonden.dk/da/news-article/ai-skal-forudsige-og-forklare