Research Opportunities

We are always looking for new talented research students and researchers. If you are interested in working with us, get in touch!

Current Opportunities

NEW: We are recruiting two PhD students to work on topics related to Infrastructure as Code (IaC). One of the projects is focused on analysis and detection of issues in IaC, and the other on automated repair. This is part of a 3-year funded project which will combine Artificial Intelligence and Formal Methods to enhance the reliability of IaC. These positions can start as early as July 2025. If you are interested, get in touch for more details.
  • If you are an MSc or PhD student and you would like to work on your thesis as part of the Software Reliability lab, get in touch. We have opportunities within our funded projects and we can work together on a project specification.
  • We can normally offer research grants or paid internships, depending on the ongoing funded projects. We also work with companies that offer paid internships.
  • The Portuguese National Science Foundation has regular funding calls for PhD studentships and postdoctoral grants, some of them for dual degrees with universities such as CMU and MIT. These opportunities are also available to non-portuguese candidates. If you are interested, we can assist you in the application process.