Umeå University is one of Sweden's largest institutions of higher education with over 37,000 students and 4,800 faculty and staff. We are characterised by world-leading research in several scientific fields and a multitude of educations ranked highly in international comparison. Umeå University is also the site of the pioneering discovery of the CRISPR-Cas9 genetic scissors - a revolution in genetic engineering that has been awarded the Nobel Prize in Chemistry.
At Umeå University, everything is nearby. Our cohesive campus environment makes it easy to meet, collaborate and exchange knowledge, which promotes a dynamic and open culture where we rejoice in each other's successes.
Are you interested in knowing more about Umeå University as a workplace read more at: Work with us.
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 a doctoral student 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. 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 4 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 doctoral 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
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 February 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:
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 next deadline for submitting you application is January 31, 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!
Umeå University strives to offer an equal environment where open dialogue between people with different backgrounds and perspectives lay the foundation for learning, creativity and development. We welcome people with different backgrounds and experiences to apply for the current employment.
We kindly decline offers of recruitment and advertising help.
Type of employment Temporary position longer than 6 monthsContract type Full time First day of employment February 1, 2023, or as otherwise agreed Salary Monthly Number of positions 1 Full-time equivalent 100% City Umeå County Västerbottens län Country Sweden Reference number AN 2.2.1-1860-22 Contact
Union representative
Published 30.Nov.2022 Last application date 31.Jan.2023 11:59 PM CET
Apply for position
Return to job vacancies