Automated Reasoning: Symbolic Model Checking

EIT Digital is a pan-European innovation and education organization headquartered in Brussels that connects universities, research centers and industry to accelerate digital transformation. Established in 2010 as part of the European Institute of Innovation and Technology, it focuses on developing entrepreneurial digital talent and scaling deep tech ventures through its Master School and accelerator network. The institution supports transnational collaboration and cross-sector projects across Europe.

The EIT Digital Master School offers dual-degree programs that combine technical depth with innovation and entrepreneurship training, preparing graduates for leadership roles in digital industries. Students work on real-world challenges, collaborate with industry partners and develop startup skills through mentorship and business-focused modules. The accelerator programs help early-stage ventures scale with access to expert guidance, funding networks and market-oriented resources.

International students attracted to cutting-edge digital learning and entrepreneurial pathways will find a dynamic environment for building technical expertise and business acumen. EIT Digital emphasizes mobility, industry engagement and hands-on experience, making it an excellent option for those who want to launch technology ventures or pursue careers in Europe’s digital economy. The networked approach also creates opportunities for internships, collaboration and cross-border study.

This program is about Automated Reasoning and Symbolic Model Checking. It's a non-degree program that lasts one week and is taught in English. The main advantage is that it's online, so you can join from anywhere.

The curriculum covers Automated Reasoning and Symbolic Model Checking. You'll learn about specific subjects like logic and formal methods, and develop skills in critical thinking and problem-solving. The program also includes hands-on components to help you practice what you learn.

After completing this program, you can work as a Software Engineer, Research Scientist, or Artificial Intelligence Specialist. You can also work in industries like tech or finance for employers like software companies or research institutions. Other possible job titles include Computer Systems Analyst or Formal Verification Engineer.