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 research students (MSc and PhD) and researchers (postdoctoral) to work on topics related to software reliability, with a particular focus on 1) the application of formal methods to domains such as DevOps; and 2) the application of AI techniques to formal methods. See the list of publications in the main website for specific topics that we are interested in. 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.