Doctoral students in Computer Science (WASP) - Hiring in process/Finished, not possible to apply

Subject description
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 paid doctoral student positions within the WASP (Wallenberg AI, Autonomous Systems and Software Program), which is a large research programme on autonomous systems and software, involving multiple disciplines at multiple Swedish universities and close collaboration with industry.

Work duties
The positions focus on three different research challenges:

a) Explainable Declarative Program Analysis- NOT VACANT

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- NOT VACANT

Please specify that you are applying for position b).

The main duties of doctoral students are to devote themselves to their research studies which includes participating in research projects and third cycle courses. The work duties will also include teaching and other departmental duties (no more than 20%).

The doctoral students will be enrolled in the WASP graduate school, which involves joint PhD courses, summer school, winter conference, and international study trips.

Admission requirements
A person meets the general admission requirements for third-cycle courses and study programmes if he or she:

• 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.

A person meets the specific admission requirements for third cycle studies in Computer Science if he or she has:

• at least 150 credits in mathematics, engineering and science including at least 60 second-cycle credits in computer science and a second-cycle degree project worth 30 credits of relevance to computer science, or
• a MSc in Engineering including at least 60 credits in computer science or another second-cycle qualification of relevance to computer science, including at least 60 credits in computer science.

Additional requirements:

• Very good oral and written proficiency in English.

Assessment criteria and other qualifications
Selection for third-cycle studies is based on the student’s potential to profit from such studies. The assessment of potential is made primarily on the basis of academic results from the first and second cycle. Special attention is paid to the following:

1. Knowledge and skills relevant to the thesis project and the subject of study.
2. An assessment of ability to work independently and to formulate and tackle research problems.
3. Written and oral communication skills
4. Other experience relevant to the third-cycle studies, e.g. professional experience.

Other qualifications:

b) A Domain-Specific Language approach for Reliability, Availability, Maintainability and Safety of Autonomous Robots

• Knowledge of programming languages and their implementation, or robotics
• Strong programming and math skills
• Willingness to get your hands dirty with real hardware
• Strong Python, C++, and Linux background

Consideration will also be given to good collaborative skills, drive and independence, and how the applicant, through his or her experience and skills, is deemed to have the abilities necessary for successfully completing the third cycle programme.

Terms of employment
Only those admitted to third cycle studies may be appointed to a doctoral studentship. Third cycle studies at LTH consist of full-time studies for 4 years. A doctoral studentship is a fixed-term employment of a maximum of 5 years (including 20% departmental duties). Doctoral studentships are regulated in the Higher Education Ordinance (1993:100), chapter 5, 1-7 §§.

Instructions on how to apply
Please specify that you are applying for position b). Applications shall be written in English and include a cover letter stating the reasons why you are interested in the position and in what way the research project corresponds to your interests and educational background. The application must also contain a CV, degree certificate or equivalent, and other documents you wish to be considered (grade transcripts, contact information for your references, letters of recommendation, etc.).

This announcement is reopened and if you already applied for the position, you dont have to apply again. If you wish to complement your application, you are welcome to do so. Please notice that the positions a) and c) is not vacant anymore.