25 formal-verification-computer-science 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
-
, computer science, data science, or related fields. The candidates are expected to have a profound knowledge on the majority of the following topics: Machine learning (deep neural networks) Bayesian machine learning
-
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
-
(AI) affect media, politics, and democracy. Using an interdisciplinary socio-technical approach, the Centre combines methods from social sciences and computer science to address the social