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

Umea University
January 31, 2023
Contact:N/A
Offerd Salary:Negotiation
Location:N/A
Working address:N/A
Contract Type:Other
Working Time:Full time
Working type:N/A
Ref info:N/A
Umeå University, department of Computing Science

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

  • 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 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:

  • 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 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 months

    Contract 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

  • Mantas Šimkus, simkus@cs.umu.se
  • Union representative

  • SACO, 090-7865365
  • SEKO, 090-7865296
  • ST, 090-7865431
  • Published 30.Nov.2022 Last application date 31.Jan.2023 11:59 PM CET

    Apply for position

    Return to job vacancies

    From this employer

    Recent blogs

    Recent news