Computer Engineering.
Work description
Collaborate with the SafeIaC team on datasets and software development; Collaborate with the SafeIaC team on the writing of scientific papers; Produce a technical report documenting all the tasks performed.
Academic Qualifications
BSc degree and MSc degree in Computer Science and Engineering or similar area.
Minimum profile required
Bachelor’s and Master’s grade point average equal to or higher than 17 (out of 20);Proven experience with DevOps and technologies such as Docker, Podman, Kubernetes and/or Terraform;At least 1 paper published in a peer-reviewed conference or journal on topics related to the SafeIaC project (Infrastructure as Code / DevOps, Automatic Program Repair, Formal Program Verification, …).
Preference factors
Preference is given to candidates who have experience in software development (for example, developing full-stack applications), particularly as part of extra-curricular activities (such as internships or side projects). Preference is also given to candidates with experience in using Artificial Intelligence techniques for automated program repair.
Application Period
Since 11 Sep 2025 to 24 Sep 2025
Centre
High-Assurance Software