Master's thesis: Static analysis of web-scale architectures

Large web-scale systems have many sub-components that interact and depend on each other. The relations between these sub-systems are not evident from just looking at them.

Solliciteer direct

Required interest(s)

  • Software Architecture
  • Software Development Methodologies
  • Artificial Intelligence

What do you get

  • A challenging assignment within a practical environment
  • € 1000 compensation, € 500 + lease car or € 600 + living space
  • Professional guidance
  • Courses aimed at your graduation period
  • Support from our academic Research center at your disposal
  • Two vacation days per month

What you will do

  • 65%  Research
  • 10%  Analyze, design, realize
  • 25%  Documentation

With the ever increasing size of software systems, we see that many new software systems are distributed. Web-scale-architecture, event-driven, reactive, actor and eventual consistency are all software architectural styles and concepts that imply distributed computing.

Infrastructure as code is one of the foundations of the new wave of web scale software systems. The infrastructure of the software systems dynamically reconfigures itself to react to the demands on the system as a whole. The system can decide to instantiate new instances of a sub component, reroute requests or build a complete copy of itself in another location. These new capabilities can have unspecified interactions with the running software itself and have undesired and unexpected results. This is called emergent behavior, behavior not explicitly build into the system. As part of our ambition to build and maintain quality software systems we feel that infrastructure as code should be part of our solution architecture and we should have the same quality guarantees as the rest of the system.

To reason about these architectures we want to perform static analysis on their configuration, allowing us to detect possible issues (bottlenecks, conflicting changes, implausible values, etc.) at an early stage before running in production.

About Info Support Research Center

We anticipate on upcoming and future challenges and ensures our engineers develop cutting-edge solutions based on the latest scientific insights. Our research community proactively tackles emerging technologies. We do this in cooperation with renowned scientists, making sure that research teams are positioned and embedded throughout our organisation and our community, so that their insights are directly applied to our business. We truly believe in sharing knowledge, so we want to do this without any restrictions.

Read more about Info Support Research here.


  1. 1
  2. Kennismakingsgesprek

    Na je sollicitatie plannen we iets in en bespreken je (studie) loopbaan, interesses en ambities. We vertellen je over Info Support en jij kan al je vragen stellen.

  1. 2
  2. Beoordelingen

    Gaan we verder? Dan doe je een assessment van je professionele kennis en persoonlijkheid (capaciteit, competenties en motieven).

  1. 3
  2. Selectie interview

    Vervolgens plannen we een selectie interview waarin we je professionele kennis en persoonlijkheid verdiepen.

  1. 4
  2. De ondertekening van een contract

    Loopt alles positief dan ontvang je een contractaanbieding en een uitnodiging voor de tekenmomenten.

Ontmoet Info Supporters