29 formal-verification-computer-science Postdoctoral research jobs at University of Southern Denmark in Denmark
Sort by
Refine Your Search
-
. The project is based on the novel application of formalisms, algorithms, and computational methods from computer science to the modeling of microbial communities, for use in health science. We aim to expand
-
Job Description The Department of Molecular Medicine (IMM) at the University of Southern Denmark (SDU) invites applications for a fully funded postdoctoral position in aging biology, based in
-
Sciences , University of Southern Denmark . The position is limited to 2 years with the possibility of extension. Research tasks The position as a postdoc consists of research, mentoring, professional
-
. We offer an attractive and inspiring working environment with dedicated and highly skilled people. There is a formalized teaching program dedicated to methodological aspects of pharmacoepidemiological
-
Monitoring (LTVEM) in the hospital for management and diagnosis of epilepsy. The technology is built on brain computer interfaces equipped with a Spiking Neural Network (SNN) and aims at early detection
-
contribute to the teaching activities of the section of Mechanical Engineering by teaching 1-2 courses per semester. You will focus on developing and extending in-house computational codes based on open-source
-
activities within the areas of embedded software. The position requires a PhD degree within a relevant area (e.g. software, computer, or control engineering) and the desired candidate is expected to have
-
, pharmacy, mathematics, computer science and biology. The Department’s research thus contributes to new knowledge and solutions with applications in the areas of climate, environment, energy and health
-
research areas. Profile and requirements You have a PhD degree in Software Engineering, Computer Science, Cybersecurity, or a related field. You have experience in publishing research in high-impact