University of Camerino the international School of Advanced Studies
Ph.D. in Computer Science and Mathematics
Camerino, Italy
PhD
DURATION
3 years
LANGUAGES
English, Italian
PACE
Full time
APPLICATION DEADLINE
EARLIEST START DATE
STUDY FORMAT
On-Campus
Key Summary
About: UNICAM’s International School of Advanced Studies offers a Ph.D. in Computer Science and Mathematics. It spans key AI and intelligent systems, cybersecurity, data science and machine learning, embedded systems and IoT, process management, and software engineering. Research covers adaptive control, knowledge representation, algebraic/logical computing, formal languages and model theory, distributed ledgers, network security, topology-based data analysis, process mining, runtime monitoring and verification.
Career Outcomes: Graduates can enter academia or industry in AI, data science, cybersecurity, embedded/IoT systems, architecture, process engineering, software verification and blockchain. Roles include researcher, lecturer, data scientist, AI engineer, cybersecurity analyst, embedded systems developer, software architect.
Area: Computer Science and Mathematics
- Artificial Intelligence and Intelligent Systems
- Computing and Mathematics
- Cybersecurity
- Data Science and Machine Learning
- Embedded Systems and IoT
- Process Management
- Software and Information System Engineering
Artificial Intelligence and Intelligent Systems
- Adaptive control and optimization
- Adaptation policies
- Collective and adaptive systems
- Knowledge representation and autonomic reasoning
Computing and Mathematics
- Algebraic and logical aspects of computing)
- Computational Models and Models of Computation
- Formal languages
- Algebraic languages for specific domains
- Model theory
- Methodological aspects of science education
Cybersecurity
- Access Control and Resource Usage Policies
- Distributed Ledger Technologies
- Design of Resilient Systems
- Network security
- Intrusion Detection Systems
Data Science and Machine Learning
- Data-driven models of complex systems
- Topology-based data analysis methods
- Data-driven system verification
- Optimization and econometric techniques
- Discriminative and generative modeling
Embedded Systems and IoT
- Middleware and services
- Communication and networking for wireless and embedded systems
- Specifica, progettazione e analisi, e verifica di sistemi embedded distribuiti
- Wireless Sensor Networks
- Energy efficiency and harvesting
Process Management
- Continuous improvement of Process-Aware Information Systems
- Collaborative and Distributed Business Process Enactment including Blockchain
- Models for Process Intensive Systems
- Process Mining Techniques
- Simulation and Verification of Data-Aware Collaboration Models
Software and Information System Engineering
- Engineering of Enterprise Architecture
- Applied Formal Methods and Verification Tools
- Testing and Verification in a distributed setting
- Quantitative Analysis and Tools
- Runtime Monitoring and Verification
