Informatics
Work description
The work plan aims to identify formal verification techniques for the development of System-on-Chip (SoC) platforms and assess their applicability and limitations in modern development workflows. In particular, it will include: - Studying heterogeneous SoC development flows based on high-level specifications (e.g., C/C++ and ONNX); - Reviewing the state of the art in formal verification techniques and tools applicable across different stages of the development process; - Identifying opportunities and challenges for integrating formal methods into modern SoC development workflows; - Preparing the final scholarship activity report.
Academic Qualifications
Currently enrolled in a Computer Science and Engineering program or a related area.
Minimum profile required
- Average BSc and/or MSc grades of at least 13;- Knowledge of formal semantics and programming language processing.
Preference factors
- Experience in formal software development methods.
Application Period
Since 18 Jun 2026 to 01 Jul 2026
Centre
High-Assurance Software