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

DIAS Fellow in Formal Methods and Future Computing

University of Southern Denmark | Denmark | about 2 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 | 2 months ago

PhD degree in computer science, mathematics, or equivalent; has a research track record at a high international level, reflecting the academic age of the applicant; can teach and advise in

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

University of Southern Denmark | Denmark | 2 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