Doctoral students in Computer Science (WASP)
Lund University, Department of Computer Science
Sweden

Doctoral students in Computer Science (WASP)


Lund University of Technology, LTH, Department of Computer Science


Lund University was founded in 1666 and is repeatedly ranked among the world’s top 100 universities. The University has 40 000 students and 7 600 staff based in Lund, Helsingborg and Malmö. We are united in our efforts to understand, explain and improve our world and the human condition.

 

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

 

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

 

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

 

Lund University welcomes applicants with diverse backgrounds and experiences. We regard gender equality and diversity as a strength and an asset. We kindly decline all sales and marketing contacts.


To apply, please click the button "Login and apply"

 

Type of employment Temporary position longer than 6 months
First day of employment Upon agreement
Salary Monthly salary
Number of positions 3
Working hours 100
City Lund
County Skåne County
Country Sweden
Reference number PA2019/2500
Contact
Position (a): Professor Gorel.Hedin@cs.lth.se, Position (b): Associate Professor
Christoph.Reichenbach@cs.lth.se or, Professor Volker.Kreuger@cs.lth.se
Position (c): Professor, Per.Runeson@cs.lth.se
Published 05.Jul.2019
Last application date 30.Aug.2019 11:59 PM EST


If you apply for this position please say you saw it on Computeroxy

Apply

All Jobs

FACEBOOK
TWITTER
LINKEDIN

queens uni belfast unted kingdom

Harvard University Academic Positions

Kuwait University Current Faculty Openings

Osaka University Academic Opportunities

Purdue University Job Postings for Faculty Positions

Texas Tech University Faculty Openings

Tsinghua University Job Postings

University of Geneva Faculty Opportunities

University of New South Wales Job Openings

University of Nottingham Research Positions

University of Oslo Academic Jobs

University of Saskatchewan Faculty Positions

University of Southampton Research Vacancies

University of Tokyo Current Academic Vacancies

University of Toronto Open Faculty Positions