Sort by
Refine Your Search
-
, program verification and software engineering. Beyond technical collaborations, the group meets regularly and provides an engaging and supportive environment. Project description The available PhD positions
-
field relevant to the position such programming languages, program verification, or software engineering, or a foreign degree equivalent to a PhD degree in Sweden. The degree needs to be obtained by
-
challenges. Preferred qualifications PhD degree in natural sciences, computer science, applied mathematics, or related field. Practical experience with optimizing software for HPC systems at scale, including
-
investigate both pre-deployment testing techniques and runtime monitoring approaches. This research aims to contribute frameworks and tools supporting systematic Verification&Validation of AI-enabled software
-
two fully funded doctoral students to join our WASP-funded project on “Automated Software Verification with Expert-Driven Reasoning”, focused on developing the next generation of AI-assisted programming
-
. Background The Department of Computing Science seeks to broaden its competence regarding the technical aspects of Software Engineering by recruiting a full professor. The position includes funding for two PhD