PhD student in Computer Science within WASP Graduate School Linköping

Plats
Linköping (Stad), Östergötland
Annonserat
den 30 april 2018
Stängs
den 18 maj 2018
Ref:
IDA-2018-00084
Kontakta
Peter Jonsson
Anställningsform
Visstid
Arbetstid
Heltid
Verksamhetsområde
Offentlig sektor

PhD student in Computer Science within WASP Graduate School

Linköping

Ref IDA-2018-00084

Skilled and committed employees are a crucial factor in the success of Linköping University. And we need more of them. Our core expertise comes from teachers and researchers, but a successful university requires experienced and motivated employees in many fields. Everyone is important. We need to recruit many new employees due to retirement among our current staff and an expansion in our research activity. We need you here. We look forward to receiving your application!

The Department of Computer and Information Science was founded in 1983 but its roots go back to the early 1970s. It is one of the largest computer science departments in northern Europe.

Our research covers a broad spectrum of fields, from core to applied computer sciences. Its vast scope also benefits our undergraduate and graduate programmes, and we now teach courses in several engineering programmes at bachelor’s and master’s levels, as well as the programmes in statistics, cognitive science and innovative programming.
Read more at https://liu.se/en/organisation/liu/ida

LINKÖPING UNIVERSITY
Hereby advertises up to two (2) positions as PhD student in Computer Science, formally based at the Department of Computer and Information Science.

Wallenberg AI, Autonomous Systems and Software Program (WASP) is Sweden’s largest individual research program ever, and provides a platform for academic research and education, fostering interaction with Sweden’s leading technology companies. The program addresses research on artificial intelligence, autonomous systems acting in collaboration with humans, adapting to their environment through sensors, information and knowledge, and forming intelligent systems-of-systems.

The graduate school within WASP is dedicated to provide the skills needed to analyze, develop, and contribute to the interdisciplinary area of artificial intelligence, autonomous systems and software. Through an ambitious program with research visits, partner universities, and visiting lecturers, the graduate school actively supports forming a strong multi-disciplinary and international professional network between PhD-students, researchers and industry. Further information can be found here.

Duties
As a PhD student you will primarily devote yourself to your research. As a PhD student you are limited to work with education and administration up to 20 percent of full time.

Project Description - Methods for Analysing Infinite-domain Constraint Satisfaction Problems
Constraint Satisfaction Problems (CSP) are a well-known and important class of computational problems with a wide range of applications within computer science, artificial intelligence, and mathematics. An instance of the constraint satisfaction problem consists of a set of variables, a set of possible variable values (known as the domain), and a set of constraints which impose restrictions on value assignments to the variables. To solve such a problem, a value has to be found for each variable so that all the constraints are satisfied. The computational complexity of CSP problems has been intensively studied during the last decades, and several breakthrough results have recently been presented for the finite-domain case. These results are to a large extent based on utilising methods from universal algebra and mathematical logic.  This project aims at developing new mathematical methods for analysing the computational complexity of infinite-domain CSP problems---such problems have very interesting applications within AI. The project aim at methods for studying computational aspects of infinite-domain CSPs in a broad sense: both separating polynomial-time solvable cases and computationally hard cases, and analyse the concrete time complexity of  hard problems.

Qualifications
Qualified to PhD studentships are only those who are or have been admitted to graduate studies.

The candidates should have strong backgrounds in computer science and mathematics. In particular, a strong interest in discrete mathematics, logic, and computational complexity is desirable. The project is primarily oriented towards theoretical work.

Appointment time
The appointment will be until further notice for a maximum of one year at a time. A doctoral student may not be employed during a period exceeding eight years. The total time of appointment must not exceed the equivalent of four years´ full time research training.

Starting date 
By agreement

Salary
The salary for PhD students is based on the department’s salary scale.

Union representatives
For contact with union representatives see below.

Application procedure
Apply for the position by clicking the “Apply” button below. Your application must be received at latest May 18, 2018.

Applications and documents received after the date above will not be considered.

Equal opportunities
A majority of our Phd students within the department are men, which is why precedence will be given to women in cases where qualifications are deemed otherwise equivalent.

Linköping University will continue to develop as an attractive and creative place of work, characterized by equal terms and actively works for equality and diversity.

We look forward to receiving your application!

Linköping university has framework agreements and wishes to decline direct contacts from staffing- and recruitment companies as well as from vendors of job advertisements.

Contact person
Peter Jonsson
Professor
peter.jonsson@liu.se

Lina Florvik
HR-partner
+46 13 281925
lina.florvik@liu.se

Anne Moe
Coordinator Graduate Studies Administration
anne.moe@liu.se