3 quantum-computing "https:" "https:" uni jobs at University of Southern Denmark

DIAS Fellow in Formal Methods and Future Computing

University of Southern Denmark | Denmark | 3 months ago

Job Description The Centre for Formal Methods and Future Computing (FORM)  and the Danish Institute for Advanced Study (DIAS)  at the University of Southern Denmark (SDU, Campus Odense and Vejle

Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Science with a focus on Automated Reasoning, Logic

University of Southern Denmark | Denmark | 3 months ago

Job Description The Department of Mathematics and Computer Science at the University of Southern Denmark invites applications for both tenure-track Assistant Professors and Associate Professors in

Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Formal Methods

University of Southern Denmark | Denmark | 3 months ago

(cloud computing, microservices, etc.), Dev(Sec)Ops, software engineering (software product lines), human factors in security and privacy, post-quantum and embedded cryptography, and quantum programming