Three Ph.D. Positions in Computer Science (Sweden) Deadline: August 30, 2019

Lund University

Application Deadline

August 30, 2019

Program Commencement

October 01, 2019

Duration of the Program

4 Years

Follow us for a weekly update on more such calls:

Program Details

The Lunds Tekniska Högskola,the Faculty of Engineering at Lund University, invites applications for three fully paid doctoral student positions within the WASP (Wallenberg AI, Autonomous Systems and Software Program) in computer science. Comprises of theory, technical solutions, and methodology for systems with software, both in general and for different application domains, WASP is a large research programme 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.

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.

Eligibility/ Requirements

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 (for each of the positions):

a) Explainable Declarative Program Analysis

  • Knowledge of programming languages and their implementation
  • Strong programming and math skills

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

c) Continuous Software System Testing of Autonomous Systems

  • Knowledge in software engineering, particularly software testing
  • Strong skills in machine learning and autonomous systems
  • Strong systems understanding, preferably through industrial experience
  • Interest in and willingness to work with industry partners 

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.

Applicants need to specify which of the three positions they 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.

Application Process

In order to apply for a position , the applicants need to register an account on the online recruitment system

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

Application evaluation and interviews will start already August 15, so early applications are encouraged.

Mention that you found this call on The Insightist, Berlin.

Follow us for a weekly update on more such calls:

If You Know Someone Who Will Benefit From This Call, Share This From Here!