Design and development of methodologies and tools to support the engineering and implementation of reliable Artificial Intelligence tools
Scientific-Disciplinary Group
01/INFO-01 - Informatics
Description
The person will be required to carry out research and teaching activities in the relevant SSD, participating in the activities planned by the project. Attention must be given to research activities to define, design, and develop innovative methodologies and tools to support the engineering and implementation of reliable and transparent AI tools. These methodologies and tools will be based on formal methods capable of supporting the specification and verification of expected properties in all phases of AI system development, including during execution. The developed tools will be applied in multiple disciplinary areas, considering digital, cyber-physical, and physical/biological application contexts. The person will be required to collaborate in the supervision of bachelor's and doctoral theses, be able to carry out teaching activities in Italian and English, support Third Mission activities, and the organizational activities of the School.
Working time
Full-time
Number of positions
1
How to apply
View the original posting on the MUR website: Go to MUR website