Ads

PhD Scholarship in Computer Science at Lund University

Lund University is offering PhD position in computer science. The funding allows successful candidate to work for 5 years. Potential candidates should apply before August 30, 2019.

LTH forms the Faculty of Engineering at Lund University, with approximately 9 000 students. The research carried out at LTH is of a high international standard and we are continuously developing our teaching methods and adapting our courses to current needs.

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

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.

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

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.

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.

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

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.

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


Summary:

More scholarships: phd scholarship in computer science, phd scholarship in software systems, phd scholarship in robotics, computer science phd position, software systems phd fellowship, robotics phd fellowship, phd fellowship in sweden, phd scholarship at lund university

Get latest scholarships via your email! It's free!
Remember to check your email and active the subscription.
You can unsubscribe any time.
Copyright © 2015 HuntScholarship.com. All Right Reserved.