Within the Data Science and Automatic Verification Laboratory, we have multiple theses and research projects available in the areas of AI, machine learning, deep learning, databases, and formal methods applied to the contexts of mobile and positioning systems, healthcare, digital humanities, predictive maintenance and other industrial applications.
Please, have a look at a list of possible topics in the following presentation!