"False"
Skip to content
printicon
Main menu hidden.

4 PhD student in Computing Science with focus on Logic-based Methods for Data Management

Department of Computing Science

Apply

before

2023-02-28

  • Type of employment Temporary position longer than 6 months
  • Extent 100%
  • Place Umeå

Umeå University is one of Sweden’s largest higher education institutions with over 37 000 students and about 4 700 employees. The University offers a diversity of high-quality education and world-leading research in several fields. And the groundbreaking discovery of the CRISPR-Cas9 gene-editing tool, which was awarded the Nobel Prize in Chemistry, was made here. At Umeå University, everything is close. Our cohesive campuses make it easy to meet, work together and exchange knowledge, which promotes a dynamic and open culture.

The ongoing societal transformation and large green investments in northern Sweden create enormous opportunities and complex challenges. For Umeå University, conducting research about – and in the middle of – a society in transition is what it is all about. But also about delivering education to enable regions to expand quickly and sustainably. This is simply where the future is built.

Are you interested in learning more? Read about Umeå university as a worklplace

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

  • 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 March 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 next deadline for submitting you application is 28 February, 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!

Information box

Admission

March 1, 2023, or as otherwise agreed

Salary

Monthly

Application deadline

2023-02-28

Registration number

AN 2.2.1-1860-22

Contact

Mantas Šimkus

simkus@cs.umu.se

Union representative

SACO

090-7865365

SEKO

090-7865296

ST

090-7865431

Umeå University wants 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.