28 formal-verification-computer-science research jobs at University of Southern Denmark in 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
-
Job Description The Department of Economics is looking for two student research assistants to assist with a project on political ideas in the 17th century. The work will involve the labelling of and
-
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
-
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