Computer science comprises theory, technical solutions, and methodology for systems with software, both in general and for different application domains. Within this broad scope of research, we offer three fully funded Scholarships (doctoral positions) within the WASP (Wallenberg AI, Autonomous Systems and Software Program), which is a large research program on autonomous systems and software, involving multiple disciplines at multiple Swedish universities and close collaboration with industry.
The positions focus on three different research challenges:
a) Explainable Declarative Program Analysis
This position focuses on new declarative techniques for implementing powerful program analyses, with the aim of helping programmers to detect bugs and vulnerabilities in code. The project includes the development of algorithms and tooling for type- and effect analysis based on reference attribute grammars. The research goals are to enable that different analyses can be easily combined, to support that they can automatically be incrementalized and parallelized for use in interactive tools, and to automatically generate succinct and intelligible explanations of the analysis results.
b) A Domain-Specific Language approach for Reliability, Availability, Maintainability and Safety of Autonomous Robots
This position is a joint project between the Software Technology and Robotics groups. Our goal is to make it easier, more efficient, and more effective to program reliable autonomous robots. Today’s robot software mixes the robot’s actual goals and activities with error handling and safety checking code. This makes it difficult to maintain, reuse, and evolve robotics programs. In this project, we will use modern software technology approaches to instead separate safety, reliability, and availability from core robot functionality into reusable modules.
c) Continuous Software System Testing of Autonomous Systems
This position is on the group of Software Engineering and focuses on how to continuously test that autonomous and autonomously changing systems function as intended. The project context is continuous development and integration of new features. The project includes research related to system behavior modeling, behavior monitoring, and continuous test case selection and execution.
Please specify which of the three positions you are applying for (a, b, and/or c). If you are applying for more than one of the positions, please indicate your order of preference.
To be eligible for fully funded Scholarships position, an applicant must:
- has been awarded a second-cycle qualification, or
- has satisfied the requirements for courses comprising at least 240 credits of which at least 60 credits were awarded in the second cycle, or
- has acquired substantially equivalent knowledge in some other way in Sweden or abroad
- Knowledge and skills relevant to the thesis project and the subject of study
- An assessment of ability to work independently and to formulate and tackle research problems
- Written and oral communication skills
- Other experience relevant to the third-cycle studies, e.g. professional experience
- Very good oral and written proficiency in English language
To apply for Fully Funded Scholarships (03 PhD Positions) in Computer Science, an applicant must submit the following documents with application:
- A cover letter stating the reasons why you are interested in the position
- In what way the research project corresponds to your interests and educational background
- Curriculum Vitae
- Degree certificate or equivalent, and other documents you wish to be considered (grade transcripts, contact information for your references, letters of recommendation, etc.)