2 software-formal-method-phd Postdoctoral research jobs at University of Southern Denmark

Postdoc Positions in Formal Methods and Programming Languages

University of Southern Denmark | Denmark | about 7 hours 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 | 7 days 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