Internship - Formal State Inspection from log records for Stream Processing Platform
Qualifications:
· Enrolled student in Master in Computer Science
· Familiarity with the following items is a plus
o distributed system concepts and tools (e.g. vector clocks, behavior modeling tools)
o regexp or equivalent text extraction tools
o log processing and management technologies (e.g. ELK stack)
o distributed tracing (e.g. OpenZipkin/OpenTracing)
· Language skills: a working proficiency of English
· Communication skills: be able to fluently present his work to a team of experts