26 formal-verification-computer-science Postdoctoral positions at University of Southern Denmark in Denmark
Sort by
Refine Your Search
-
programming and ease with formal thinking are prerequisites. The project is based on the novel application of formalisms, algorithms, and computational methods from computer science to the modeling of microbial
-
. 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
-
. Introduction The SDU Software Engineering section at the Maersk Mc-Kinney Moller Institute (Faculty of Engineering) invites applications for a 2-year postdoctoral position in the intersection of edge computing
-
position as postdoctoral researcher for 2 years in the area of computational nanophotonics, with a focus on semi-analytical and numerical methods for treating electron-beam spectroscopies. We are looking
-
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