Sort by
Refine Your Search
-
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
-
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
-
. 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
-
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
-
electrophysiological methods (e.g., patch clamp recording, multiple-electrode array recordings, or OECT recordings) Work with cell studies (in vitro studies) Microscopy of cells and cell clusters (e.g., confocal and/or