3 formal-methods Postdoctoral positions at University of Southern Denmark

Postdoc Positions in Formal Methods and Programming Languages

University of Southern Denmark | Denmark | 10 days ago

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

Postdoc Position in SECUREAM: Advancing Cybersecurity in Additive Manufacturing

University of Southern Denmark | Denmark | about 1 month ago

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

Postdoctoral Position in Computer Science

University of Southern Denmark | Denmark | 2 months ago

. 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