IMDEA Software has unique oportunities for students that want to get involved in research. The European Master in Computational Logic (EMCL) offers students specialized studies in the uses of logic in computer science, and opens them a venue towards doctoral studies and research. Benefits can thus result from a more tight collaboration between the two entities. Francisco (Paco) is the coordinator of EMCL, and will be presenting the Master, its program structure, collaborations with other universities, and the open possibilities for collaboration with IMDEA.