This opportunity has expired. It is therefore no longer possible to like or apply.
Your career starts on Magnet.me
Create a profile and receive smart job recommendations based on your liked jobs.
Master's thesis: Static analysis of web-scale architectures
Veenendaal
Fulltime
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.
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.
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.
Maatwerksoftware bouwen waar miljoenen mensen dagelijks gebruik van maken. Dat is ons werk. Voor grote gerenommeerde klanten in Nederland en België. Betrouwbaar, schaalbaar en onderhoudbaar. Wij gaan voor software oplossingen van zeer hoge kwaliteit. Binnen de afgesproken tijd en het budget.
Door samen continu te vernieuwen helpen we klanten en de wereld significant vooruit. Onze ambitie en drive maakt ons vastberaden om topkwaliteit te leveren en voorop te lopen. Can you do IT?
Mijn technisch begeleider tijdens mijn afstuderen bij Info Support is een voorbeeld voor mij. Hij heeft twee jaar meer ervaring en is nu teamlead geworden. Dat zou voor mij een mooi streven zijn. Ik heb het aangegeven tijdens mijn ambitiegesprek en we gaan er naartoe werken. Ik kijk ernaar uit!
Ik wilde tijdens mij afstuderen graag aan iets tastbaars werken. Bij Info Support had ik ruime keuze uit opdrachten. Ik koos ervoor om een smartwatch-applicatie te gaan ontwikkelen die mensen met een visuele beperking op treinstations de weg kan wijzen.
Change language to: Dutch
This page is optimised for people from the Netherlands. View the version optimised for people from the UK.