Computer Science | Software Engineering (thesis) internship: observability-driven synthetic contract testing - ASML | RVC