YOUR TEAM: You will work in the Security and Embedded Networked Systems department of the Technical University Eindhoven.

GOAL: A personal health service, for example, in a smartphone app, helps a user to follow a care program or adopt healthier behaviors to reach certain health benefits. Typical examples are interactive self-management services for fitness or maternity, or apps and dialog systems for chronic disease management or substance abuse. A program should be engaging, lead to the target results as safely, efficiently, and conveniently as possible, and adapt to any changes on the way. Designing software that optimally meets all these goals has turned out to be very difficult.
One of the growing areas of computational intelligence is automatic programming, where a learning algorithm produces software that is executable, for example, in an abstract machine, which is a mathematical model of a computer. The abstract machine may be a universal computer or a specific sequential machine with limited functionality. The program may be learned from data (program induction) or generated based a high-level specification of the goals (program synthesis). The optimization of the program uses the knowledge that is inserted into and accumulated by the system during the operation. Program synthesis has been popular in automatic game playing and robotics. In the PhD project the goal is to develop program induction/synthesis technology for health services based on deep learning techniques. A successful candidate should have a strong background in machine learning and computer science, and good skills in programming (Python, Java).