21 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
-
of extension for the project SECUREAM: Advancing Cybersecurity in Additive Manufacturing in the intersection of blockchain, cryptography, software engineering, and applied formal methods, starting February 1
-
transcriptomics and bioimaging to study human liver biopsies and advanced, preclinical models. A combination of wet-lab and computational biology, close ties to the clinic, and a wonderful team of early career
-
. 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
-
environment that encourages innovation and creativity. Opportunities for professional growth and leadership. Access to state-of-the-art technology and resources. Job description SDU Robotics currently has
-
develop next-generation 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
-
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