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.
Heb jij een passie voor organiseren en ben jij op zoek naar een uitdagende stage? Ben je gemotiveerd om alles te weten te komen over wat er nodig is voor het plannen van succesvolle events voor onze klanten en collega's? Dan is dit de perfecte stage voor jou!
Ben jij iemand met een passie voor techniek? Zoek je een uitdagende stageplek waar je je kennis kunt toepassen en ervaring kunt opdoen? Dan hebben wij bij Eijsink de perfecte stage voor jou!
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!
Ben jij op zoek naar een boeiende en dynamische stage op het gebied van Human Resources, waar geen dag hetzelfde is? Vind je het leuk om allerlei vragen van medewerkers en teammanagers te beantwoorden? Wil je je opgedane kennis vanuit jouw HR-opleiding toepassen in de praktijk? Dan is dit de stage voor jou!
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.
booq 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..
Kassa’s, bar- en keukenmanagement, webshops… We doen bij Eijsink heel veel, maar de rode draad is duidelijk: we maken software. Hele slimme, ijzersterke software. Wie weet samen met jou.