Publisher
source

Frank Drewes

11 months ago

PhD Student in Computing Science with a Focus on Neuro-Symbolic Graph Transformation Umeå University in Sweden

Degree Level

PhD

Field of study

Computer Science

Funding

Available

Deadline

Nov 23, 2026

Country flag

Country

Sweden

University

Umeå University

Suggested positions

Publisher
source

Johanna Björklund

Umeå University

Country flag

Sweden

This PhD project at Umeå University sits in the Department of Computing Science and focuses on machine learning for graph transformations . The research aims to combine deep learning with grammatical inference to build models that are interpretable, efficient, and mathematically verifiable, while still benefiting from the flexibility of neural methods. The project is centered on graphs as a representation of structured information, from sentences and computer programs to social networks, and on ...

Computer Science
Information Technology
Mathematics
+7 more

Posted Yesterday

Publisher
source

Umeå University

Country flag

Sweden

Umeå University is offering a PhD position in Computing Science focused on machine learning for graph transformations . The project explores a hybrid approach combining deep learning with grammatical inference to create models that are interpretable, efficient, and mathematically verifiable while retaining the flexibility of neural methods. Graphs are increasingly important for representing structured information, including sentences, computer programs, social networks, and outputs from generati...

Computer Science
Mathematics
Theoretical Computer Science
+3 more

Posted Yesterday

Publisher
source

Uppsala University

Country flag

Sweden

Uppsala University is advertising a PhD position in Scalable Quantum Program Verification at the Department of Information Technology in Uppsala, Sweden . The project sits at the intersection of computer science , mathematics , formal verification , programming language theory , and quantum computing . The research aims to develop scalable methods for verifying quantum programs, especially as quantum software becomes more complex and hybrid quantum-classical architectures create new verification...

Computer Science
Mathematics
Quantum Computing
+4 more

1 week ago

Publisher
source

Matti Karppa

University of Gothenburg

Country flag

Sweden

Potential PhD position in algorithms , with a focus on algorithm engineering , experimental algorithms , and randomized algorithms , is being discussed by Matti Karppa (Senior lecturer) at the University of Gothenburg and Chalmers University of Technology in Sweden . The post is aimed at finding a brilliant master’s student who could move into doctoral studies. The ideal candidate should have a strong background in mathematics , good programming skills , and basic knowledge of computer science ....

Computer Science
Electrical Engineering
Information Technology
+3 more

1 month ago

Publisher
source

Uppsala University

Country flag

Sweden

Postdoctoral position on spreading processes in multilayer population-scale social networks , offered as part of eSSENCE – the Swedish eScience Collaboration school in data-intensive science. The research will contribute to expanding work on population-scale social networks, including analysis of spreading processes across multilayer networks and related work on network segregation. The project involves large-scale social-network data and computational, quantitative approaches relevant to networ...

Computer Science
Sociology
Information Technology
+3 more

4 days ago

Keywords

Computer Science
Machine Learning
Mathematics
Complexity Theory
Automata Theory
Formal Languages
Reasoning
Explainable Ml
Computing Science
Neural Networks

About this position

Umeå University, one of Sweden’s largest and most dynamic higher education institutions, is renowned for its world-leading research and high-quality education. The university’s Department of Computing Science is seeking a motivated PhD student to join a cutting-edge project focused on Neuro-Symbolic Graph Transformation, under the supervision of Professor Frank Drewes. The department is internationally recognized and offers a vibrant, inclusive research environment with a diverse team of scholars from various backgrounds.

The project centers on integrating neural computation methods into rule-based models of graph transformation, aiming to combine the transparency and explainability of symbolic approaches with the adaptability and learning capabilities of neural models. This interdisciplinary research involves both formal mathematical reasoning and practical software implementation, providing opportunities for theoretical exploration and experimental validation.

As a PhD student, you will benefit from comprehensive support in career development, networking, and technical resources, along with excellent employment conditions. The position is fully funded for four years, with the possibility of up to 20% departmental service (such as teaching), which can extend the appointment to a maximum of five years. The department values gender diversity and encourages applications from women and those outside the gender binary.

Eligibility requirements include a second-cycle degree or equivalent (at least 240 ECTS credits, with 60 at the second-cycle level), and at least 90 ECTS credits in computer science or closely related subjects. Candidates should have a strong background in Theory of Computation, formal languages, automata, and the mathematical and computational foundations of neural networks. Experience in machine learning, computational complexity, tree automata, tree transductions, and graph transformation systems is considered advantageous. Applicants should be curious, open-minded, capable of formal reasoning, and able to implement research models in software.

The application process is entirely electronic via the Umeå University e-recruitment system. Required documents include a cover letter (describing research interests and motivation), CV, copies of BSc/MSc theses and publications, degree certificates, transcripts, documentation of relevant experiences, and contact details for two referees. All documents must be in PDF format and written in English or Swedish. The application deadline is 23 November 2025, and the expected start date is 2 February 2026 or as otherwise agreed.

For further information, visit the department’s website or contact Professor Frank Drewes at [email protected]. This is an excellent opportunity to contribute to innovative research at the intersection of symbolic and neural computation, in a supportive and forward-thinking academic environment.

Funding details

Available

What's required

Applicants must have a second-cycle level degree or completed course requirements of at least 240 ECTS credits (with at least 60 ECTS at second-cycle level), or equivalent education from abroad. For doctoral studies in computer science, at least 90 ECTS credits in computer science or directly relevant subjects are required. Candidates must be familiar with Theory of Computation, especially formal languages and automata, and the mathematical and computational foundations of neural networks. Meritorious areas include machine learning, computational complexity, tree automata, tree transductions, and graph transformation systems. Applicants should be curious, open-minded, capable of formal reasoning, and able to implement models in prototypical software. Application must be in English or Swedish, with documents in PDF format.

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts and confirm requirements with the university.

Professors

Professor at Umeå University

University Name
Country flag

Sweden

Research Interests

Mathematics

Automata Theory

Complexity Theory

Formal Languages

Computer Science