28 formal-verification-computer-science Postdoctoral positions at University of Southern Denmark in Denmark
Sort by
Refine Your Search
-
Job Description The Centre for Formal Methods and Future Computing (FORM) at the Department of Mathematics and Computer Science, University of Southern Denmark (SDU, Campus Odense or Vejle) invites
-
Job Description The Department of Molecular Medicine at the University of Southern Denmark (SDU) invites applications for a position as postdoc in Computational Biology in the laboratory of Dr
-
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
-
or quantum information science, and demonstrated research experience in quantum computing and at least one of the following areas: Formal semantics of programming languages. Logic in computer science. Category
-
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