Ben jij altijd bezig met het maken van video’s, het schrijven van catchy captions en weet jij precies wat wel en niet werkt op TikTok en Instagram? Ben jij de creatieve en gedreven stagiair die wij zoeken? Solliciteer dan nu en bouw samen met ons aan de toekomst van hospitality!
Ben jij op zoek naar een leuke en leerzame stage in de richting van Facilitair in de omgeving van Hengelo? Zoek niet verder! Onze afdeling heeft een plekje vrij voor een gedreven en enthousiaste stagiair!
This assignment explores the application of process mining methodologies to analyze event data from Point of Sale (POS) software systems. Process mining is a powerful tool for discovering, monitoring, and improving real processes by extracting knowledge from event logs readily available in today's information systems.
DISH is an omnichannel hospitality ordering- and payment solution, and therefore has several channels for interacting with customers. Configuring these steps of the process is inconvenient to do using a long list of checkboxes. Instead, we want to investigate describing the sales process as a number of interacting processes..
Verifying the correctness of interacting systems is a serious challenge. The fact that communication between these systems mostly happens asynchronously, and across multiple vendors, makes verification even harder. We would like to see a model-checking based solution that verifies the correctness of these interacting systems.