20 formal-verification-computer-science Postdoctoral research jobs at University of Southern Denmark
Sort by
Refine Your Search
-
Job Description Applications are invited for a position as postdoc in Computational Biology in the laboratory of DNRF Chair and Novo Nordisk Faculty Professor Vijay Tiwari (https://www.tiwarilab.org
-
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
-
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
-
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