Sort by
Refine Your Search
-
educational activities on different levels and using a variety of teaching methods. An ability to supervise doctoral students to achieve a PhD. An ability to collaborate with wider society and communicate his
-
methods, provides the ideal environment for research on programming with formal guarantees — a topic of increasing practical importance. About us The Department of Computer Science and Engineering , a joint
-
, realization of idealized models, relationship between cryptographic notions, and similar topics in foundational cryptography. Similarly work on the intersection of cryptographic protocols and formal methods is
-
will combine modern AI/LLM-based code generation with formal methods to produce software that is both fast to create and provably trustworthy. The position is part of SAFIR (Secure AI for Intelligent
-
to represent and model expectations using formal methods, develop techniques that help a system reason about human expectations at runtime, and evaluate the contributions using simulations and experiments with
-
and 75,000 SEK for research expenses. The scholarships are tax-free. Application deadline September 17, 2026. Start between January and April 2027 (exact start date according to agreement). Formal
-
. It is considered an advantage if you have completed your doctoral degree within the last three years; if there are special reasons, your degree may have been completed earlier. Beyond the formal
-
, you will be trained in a scientific approach. In short, you will be trained to think critically and analytically, to solve problems independently using the right methods, and to develop an awareness