Research Internship on ECiDA Project
Contact: Mostafa Hadadian.
ECiDA aims to narrow the gap between the data scientists who experiment with data and try new models, and the production environment wherein data science models should eventually run and exhibit consistent behavior. Our goal is to provide a solution that can also be applied to existing data processing platforms.
The infrastructure of ECiDA revolves around containerized components, in which each computational component is responsible for a single step in the data science pipeline. For this, we rely on technologies such as Docker, Kubernetes, and Kafka to containerize, orchestrate, and enable communication between the computational components.
The topics that you can apply include but are not limited to:
- Monitoring systems
- Web development
- Container Orchestration
- CI/CD Pipelines
- Network Service Mesh
Automated reasoning using automated planning
Supervisor: Heerko Groefsema.
Verification entails proving or disproving the correctness of a system model with respect to its specification. Such specifications are often expressed using formal methods of mathematics such as temporal logics. To obtain information on successor states in system models, it is possible to rewrite temporal logic expressions using semantic equivalences and expansion laws. Automated planning is an artificial intelligence technique that aims to find an optimal set of actions which together accomplish a predetermined goal. The question for the student then is, can we use automated planning to obtain the possible expanded logic expressions and can we obtain the optimal expanded expression?
Make a difference in Energy Transition with Machine Learning
Contact: Viktoriya Degeler or Frank Blaauw..
Location: eWEning star.
eWEning star is a “fresh from the oven” Start-Up, which is currently developing a discovery tool that serves stakeholders in the renewable energy sector with relevant scientific information regarding renewable energy. Currently people in this sector use key-word based search queries in order to find scientific papers and reports, but with eWEning star’s concept, these papers are smartly categorized, saving users a lot of time and nerves. By making the search process more efficient we can make the energy transition towards renewables faster! Currently we have around 900 documents that are manually categorized in three different ways: (i) perspective, (ii) position in value chain, and (iii) geographical location. Combined, we have created 15 categories. Depending on the length of your internship, it is possible to work on these all, or choose one out of the three options. While this manual approach is feasible for a small number of papers, it does not scale well. Our aim is to apply Machine Learning to improve this process. We expect that machine learning can provide us with a fast solution for categorizing already published papers according to eWEning star concept. You are given the freedom to design, develop and test a process which leads to the automated categorization. You have a background in Data Science and/or computer science, and you have natural curiosity for solving issues. You aren’t afraid to ask questions if you seem to “hit the wall”, but are capable of working independently. Some entrepreneurial mentality is a benefit as eWEning star is a Start-Up. Good communication skills are needed towards non-technical founder.
Researchable in-company internship
Contact: Frank Blaauw.
Location: Researchable B.V.
Researchable B.V. is a small startup located in Groningen. They aim to improve science by developing software in the early phases of research projects (e.g. developing software to collect data, or automate other parts of research) and at the final phase of research projects (i.e., the valorisation of research). During this internship, the student will be part of the Researchable team, and work on various projects that they are currently running. Their office is located on Zernike.
Have your own project suggestions?
We are available to supervise projects on various aspects of distributed systems, in particular involving
- Service-Oriented and Cloud Computing
- Pervasive Computing and Smart Environments
- Network Centric Real-time Analytics
- Energy Distribution Infrastructures
- Adaptive Communication Middleware
If you have an idea of a specific project or would like to work generally in a specific area, please let us know about it and we can then narrow the project down.
Please feel free to contact us to discuss specific topics and options.