29 formal-verification-computer-science Postdoctoral positions at University of Southern 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
-
electronics and computing solutions that solve technology-related challenges in fields such as autonomous robots, drones, IoT, smart grid, and healthcare. The section is a vital component of our educational
-
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