2 PhD student in Computing Science with focus on Logic-based Methods for Data Management - Befattningen är under tillsättning eller redan tillsatt, och det är inte längre möjligt att lämna in en ansökan

To our department, characterized by world-leading research in several scientific fields and a multitude of educations ranked highly in international comparison, we now look for 2 Doctoral students in Logic-based Methods for Data Management.

The Department of Computing science has been growing rapidly in recent years where focus on an inclusive and bottom-up driven environment are key elements in our sustainable growth. The 50 Doctoral students within the department consists of a diverse group from different nationalities, background and fields. If you work as a Doctoral student with us you receive the benefits of support in career development, networking, administrative and technical support functions along with good employment conditions. See more information at:
https://www.umu.se/en/department-of-computing-science/

Project description

We seek 2 PhD students to strengthen the group on Formal Techniques for Knowledge and Data Management at Umeå University (Sweden), funded by the WASP program (Wallenberg AI, Autonomous Systems and Software Program). The students will join a growing group that currently consists of WASP faculty members Diego Calvanese, Magdalena Ortiz, Mantas Šimkus, as well as PostDoc researchers and other PhD students. The main theme of our research is the applications and further development of logic-based methods and techniques for smart data management. The students will also join the WASP Graduate School, gaining access to a vast professional network involving other top institutions in Sweden. We seek students with strong interest in the following research areas:

* Knowledge Representation and Reasoning
* Description Logics 
* Foundations of Databases
* Logic for Computer Science
* Computational Complexity of Reasoning
* Non-monotonic Reasoning
* Logic Programming
* Automated Reasoning 
* Formal Methods

Wallenberg AI, Autonomous Systems and Software Program (WASP) is Sweden’s largest individual research program ever, a major national initiative for strategically motivated basic research, education and faculty recruitment. The program addresses research on artificial intelligence and autonomous systems acting in collaboration with humans, adapting to their environment through sensors, information and knowledge, and forming intelligent systems-of-systems. The vision of WASP is excellent research and competence in artificial intelligence, autonomous systems and software for the benefit of Swedish industry. Read more: https://wasp-sweden.org/

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. Read more: https://wasp-sweden.org/graduate-school

Admission requirements

The general admission requirements for doctoral studies are a second- cycle level degree, or completed course requirements of at least 240 ECTS credits, of which at least 60 ECTS credits are at second-cycle level, or have an equivalent education from abroad, or equivalent qualifications. To fulfil the specific entry requirements for doctoral studies in computing science, the applicant is required to have completed at least 90 ECTS credits in computing science.  Applicants who otherwise have acquired skills that are deemed equivalent are also eligible.

Candidates for this position must have

• documented strong background in theoretical computer science or discreet mathematics
• good writing skills

About the position

The position provides you with the opportunity to pursue PhD studies in Computing Science for four years, with the goal of achieving the degree of Doctor in Computing Science. While the position is mainly devoted to PhD studies (at least 80% of the time), it may include up to 20% department service (usually teaching). If so, the total time for the position is extended accordingly, resulting in a maximum of five years.

The procedure for recruitment for the position is in accordance with the Higher Education Ordinance (chapter 12, 2§) and the decision regarding the position cannot be appealed.

The expected starting date is June 1, 2023, or as otherwise agreed.

Application

Applications must be submitted electronically using the e-recruitment system of Umeå University.

A complete application should contain the following documents:

• A Statement of Purpose (max 1 page) that describes how your academic background (e.g., the lectures you attended, your BSc/MSc thesis, student projects, etc) relates to at least some of the research areas describes above. Please describe your study/research interests in connection to the above research areas and tell us how you envision your professional future and contributions to this PhD program.
• A curriculum vitae
• Two letters of recommendation. The recommendation letters should address the suitability of the candidate to contribute to the research areas of this announcement.  
• Reprints / copies of completed BSc and/or MSc theses and other relevant publications, if any
• Copies of degree certificates, including documentation of completed academic courses and obtained grades

The application must be written in English or Swedish. Attached documents must be in pdf format. Applications must be submitted electronically using the e-recruitment system of Umeå University. The deadline for submitting you application is 30 April, 2023.

The Department of Computing Science values gender diversity, and therefore particularly encourages women and those outside the gender binary to apply for the position.

For additional information, please contact Dr. Mantas Šimkus (simkus@cs.umu.se).

We look forward to receiving your application!