Overview
As part of an ambitious strategy for growth, the Department of Computer Science is seeking to appoint a Lecturer with outstanding expertise in the field of software and hardware verification in particular, and logic and programming principles more broadly.
The...
Mid Sweden University is a place where people meet, find inspiration and think innovatively. Our campuses are situated in Sundsvall and Östersund, and we offer a wide range of courses and education, both on-campus and distance education. Our good relations with society ensure...
Mid Sweden University is a place where people meet, find inspiration and think innovatively. Our campuses are situated in Sundsvall and Östersund, and we offer a wide range of courses and education, both on-campus and distance education. Our good relations with society ensure...
SnT is a leading international research and innovation centre in secure, reliable and trustworthy ICT systems and services. We play an instrumental role in Luxembourg by fueling innovation through research partnerships with industry, boosting R&D investments leading to...
Télécom Paris is one of the top four engineering schools in France for training general engineers. Recognized for its close ties with businesses, this public graduate school ensures excellent employment prospects in all industries and is considered the number-one engineering...
SnT is a leading international research and innovation centre in secure, reliable and trustworthy ICT systems and services. We play an instrumental role in Luxembourg by fueling innovation through research partnerships with industry, boosting R&D investments leading to...
The Cornell, Maryland, Max Planck Pre-doctoral Research School 2021
"Emerging Research Trends in Computer Science"
https://cmmrs.mpi-sws.org
August 2-7, 2021
Saarbruecken, Germany
Applications are requested from undergraduate students or Master's students in computer...
Umeå University, the Department of Computing Science (www.cs.umu.se), is seeking a PhD student in Computer Science with focus on Formal Analysis of Programs for Secure Hardware and Embedded Devices. The Department of Computing Science is a dynamic environment with around 130...