Sort by
Refine Your Search
-
background and interest in static and/or dynamic program analysis, programming language techniques, formal verification, or software engineering, excellent communication skills with sufficient proficiency in
-
innovate, our actions together, large and small, contribute to a better world. We look forward to receiving your application! We are looking for a PhD student in computer science specializing in formal
-
Department of Learning, Informatics, Management and Ethics (LIME) works within some of the key areas important to fulfilling the motto of Karolinska Institutet ´to improve human health´. We focus
-
, for example, a 4-year bachelor's degree is accepted. Previous coursework in cyber-physical systems, formal verification, computational logic, AI, or statistical methods would be beneficial but not required