The group conducts both applied research in partnership with world-class companies, as well as classical theoretical research. Top postdoctoral researchers will have the chance to work in a leading group of experts in security design and validation, as well as to supervise doctoral candidates if they wish to. Doctoral candidates with formal backgrounds and an interest in translating and validating ideas in real-world scenarios will find a supportive environment to acquire the skills they need in both industry and academia, and the flexibility to switch between the two.
Prospective partners interested in enhancing their R&D focus on specific problems in software engineering with long-term perspectives will find world-class expertise in modelling and designing for software security, as well as validation of functional and security mechanisms for systems and software. SerVal also offers extensive expertise in data science, data analysis, forecasting, and decision making. Domains of application include Ambient Assisted Living using sensor networks, information systems, distributed systems, web applications, SOA and mobile apps.