Doctoral Student in Automated Numerical and Logical Methods for Bug Finding in Programs Scholarship – Eligibility, Benefits & How to Apply

🌟 About the Scholarship

Opens
Closes1 Jun, 2026

Chalmers University of Technology and the University of Gothenburg jointly offer the Doctoral Student in Automated Numerical and Logical Methods for Bug Finding in Programs Scholarship. The doctoral position provides full funding from the beginning of the program at Chalmers University of Technology. Selected doctoral students receive a monthly salary of approximately 34,550 SEK, along with full employee benefits available in Sweden. In addition, the position includes healthcare support, pension contributions, parental leave benefits, and subsidized daycare services. The initial appointment lasts four years and may extend to five years through teaching or departmental duties equivalent to 20% of working hours. Furthermore, international students may access Swedish language courses to support academic and social integration.

🎓 Scholarship Snapshot

Here’s everything you need at a glance: the documents to prepare, what the award covers, and key dates so you don’t miss a beat. From transcripts and essays to tuition and living support, this gives you a clear picture of the Doctoral Student in Automated Numerical and Logical Methods for Bug Finding in Programs Scholarship before you apply.

Eligible Countries

Afghanistan, Albania, Algeria, Andorra, Angola, Antigua and Barbuda, Argentina, Armenia, Aruba, Australia, Austria, Azerbaijan, Bahamas, Bahrain, Bangladesh, Barbados, Belarus, Belgium, Benin, Bhutan, Bolivia, Bosnia-Herzegovina, Botswana, Brazil, Brunei Darussalam, Bulgaria, Burkina Faso, Burundi, Cabo Verde, Cambodia, Cameroon, Canada, Cape Verde, Central African Republic, Chad, Chile, China, Colombia, Comoros, Costa Rica, Côte d’Ivoire, Croatia, Cuba, Cyprus, Czech Republic, Democratic Republic of the Congo, Denmark, Djibouti, Dominica, Dominican Republic, East Timor, Ecuador, Egypt, El Salvador, Equatorial Guinea, Eritrea, Estonia, Eswatini, Ethiopia, Fiji, Finland, France, Gabon, Gambia, Georgia, Germany, Ghana, Greece, Greenland, Grenada, Guam, Guatemala, Guinea, Guinea Bissau, Guyana, Haiti, Honduras, Hong Kong, Hungary, Iceland, India, Indonesia, Iran, Iraq, Ireland, Israel, Italy, Jamaica, Japan, Jordan, Kazakhstan, Kenya, Kiribati, Kosovo, Kuwait, Kyrgyzstan, Lao People’s Democratic Republic, Laos, Latvia, Lebanon, Lesotho, Liberia, Libya, Liechtenstein, Lithuania, Luxembourg, Madagascar, Malawi, Malaysia, Maldives, Mali, Malta, Marshall Islands, Mauritania, Mauritius, Mexico, Micronesia, Moldova, Monaco, Mongolia, Montenegro, Morocco, Mozambique, Myanmar, Namibia, Nauru, Nepal, Netherlands, New Zealand, Nicaragua, Niger, Nigeria, Niue, North Korea, North Macedonia, Norway, Oman, Pakistan, Palau, Palestine, Panama, Papua New Guinea, Paraguay, Peru, Philippines, Poland, Portugal, Puerto Rico, Qatar, Romania, Russia, Rwanda, Saint Kitts and Nevis, Saint Lucia, Saint Vincent and the Grenadines, Samoa, San Marino, Sao Tome and Principe, Saudi Arabia, Scotland, Seirra Leone, Senegal, Serbia, Seychelles, Sierra Leone, Singapore, Slovakia, Slovenia, Solomon Islands, Somalia, South Korea, South Sudan, South-Africa, Spain, Sri Lanka, Sudan, Suriname, Swaziland, Sweden, Switzerland, Syrian Arab Republic, Taiwan, Tajikistan, Tanzania, Thailand, Timor-Leste, Togo, Tokelau, Trinidad-Tobago, Tunisia, Turkey, Tuvalu, Uganda, Ukraine, United Arab Emirates, United Kingdom, United States, Uruguay, Uzbekistan, Vanuatu, Vatican City, Venezuela, Vietnam, Wales, Yemen, Zambia, Zimbabwe

Study Fields

GPA / Grade

Languages

C1 Advanced 180, IELTS 6.5, PTE A 62, TOEFL iBT 90

Tests

Study Levels

Doctoral, PhD

Total Scholarships

Transcripts

Yes

Degrees

Yes

Essay

Yes

Passport ID

Recommendation Letters

Result Date

Program Start

September 2026

Tuition Fee

Covered

Living Allowance

Yes

34,550 SEK/month

Travel Allowance

Research Grant

Health Insurance

Yes

Visa Assistance

📞 Contact Information

Call if you want a quick answer, send an email for detailed questions, or follow the university’s social channels to keep an eye on updates and reminders. Use whatever fits your style and timezone.

Scholarship Summary

Award Amount34,550 SEK/month
Deadline1 Jun, 2026
LevelDoctoral, PhD
InstitutionChalmers University of Technology
CountrySweden
ModeOnline
TypeFully funded

Apply Now

Chalmers University of Technology and the University of Gothenburg jointly offer the Doctoral Student in Automated Numerical and Logical Methods for Bug Finding in Programs Scholarship. This fully funded PhD opportunity is hosted within the Division of Computing Science in the Department of Computer Science and Engineering. The project focuses on developing advanced automated techniques for detecting software bugs using formal logic, numerical methods, theorem proving, and automated reasoning tools. In addition, the position provides doctoral students with access to a globally recognized research environment known for contributions to software verification and functional programming.

Background and Purpose

Chalmers University of Technology established this doctoral project to strengthen research in software reliability, security, and automated verification methods. Therefore, the program combines theoretical and applied research approaches to improve bug detection in modern software systems. Moreover, the project integrates research areas such as formal methods, SAT solving, software testing, theorem proving, and model checking. Through this initiative, the university aims to advance automated reasoning technologies that improve the safety and correctness of software and hardware systems.

Doctoral Student in Automated Numerical and Logical Methods for Bug Finding in Programs Scholarship Benefits

The doctoral position provides full funding from the beginning of the program at Chalmers University of Technology. Selected doctoral students receive a monthly salary of approximately 34,550 SEK, along with full employee benefits available in Sweden. In addition, the position includes healthcare support, pension contributions, parental leave benefits, and subsidized daycare services. The initial appointment lasts four years and may extend to five years through teaching or departmental duties equivalent to 20% of working hours. Furthermore, international students may access Swedish language courses to support academic and social integration.

Doctoral Student in Automated Numerical and Logical Methods for Bug Finding in Programs Scholarship Criteria

Applicants must hold a strong academic background in computer science, software engineering, mathematics, or related disciplines. In addition, candidates should demonstrate experience or knowledge in functional programming, logic, theorem proving, or automated reasoning. Technical writing skills and programming experience are also highly valued. However, selection remains highly competitive and depends on research potential, academic qualifications, and alignment with the project’s objectives.

Scholarship Application Process

Students must apply directly through the official recruitment system of Chalmers University of Technology. Therefore, applicants should prepare academic transcripts, a CV, research-related documents, and other required materials before the deadline. In addition, candidates may need to demonstrate previous research experience or technical expertise relevant to automated software verification. The university then reviews applications and selects candidates based on academic merit and research suitability.

Opportunities for Scholars

Doctoral students gain access to an internationally collaborative research environment focused on software verification and automated reasoning. Scholars participate in advanced doctoral courses, research collaborations, and undergraduate teaching activities. In addition, students contribute to cutting-edge research in software testing, functional programming, and formal verification systems. These experiences prepare graduates for careers in academia, research institutions, and advanced software engineering industries. Overall, the program offers both financial security and world-class research training in Sweden.

Frequently Asked Questions (FAQs)

What is this PhD position about?

It is a fully funded doctoral research position focused on designing methods to monitor and visualize agentic AI systems using intentional (goal-based) modeling frameworks.

What skills are required?

Applicants must have a Master’s degree (or equivalent) in Computer Science, Software Engineering, or AI Engineering, along with strong English communication and experience in software engineering and applied AI.

What experience is preferred?

Preferred background includes software engineering (design, testing, architecture), applied AI, agentic AI systems, and conceptual modeling (e.g., UML, goal models).