Phd Student In Computer Science Within Wasp Graduate School
Linköpings universitet / Administratörsjobb (offentlig verksamhet) / Linköping
Observera att sista ansökningsdag har passerat.
Visa alla administratörsjobb (offentlig verksamhet) i Linköping,
Mjölby,
Åtvidaberg,
Finspång,
Motala eller i
hela Sverige Visa alla jobb hos Linköpings universitet i Linköping,
Finspång,
Motala,
Norrköping,
Kinda eller i
hela Sverige 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.
within WASP Graduate School
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
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
Qualifications
Qualified to PhD studentships are only those who are or have been admitted to graduate studies.
Grounds for assessment
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.
Union representatives
For contact with union representatives see below.
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
For more information
https://liu.se/en/work-at-liu/vacancies?rmpage=job&rmjob=8353&rmlang=UKLinkö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.
Varaktighet, arbetstid
Heltid/ Ej specificerat
Publiceringsdatum2018-04-17ErsättningThe salary for PhD students is based on the department's salary scale.
Så ansöker duSista dag att ansöka är 2018-05-18
Klicka på denna länk för att göra din ansökanFöretagLinköpings Universitet
AdressLinköpings Universitet
Department of Computer and Information Science
58183 Linköping
KontorsadressDepartment of Computer and Information Science
Jobbnummer 4089822
Observera att sista ansökningsdag har passerat.