Department of Electronics, Information and Bioengineering
Call for applications for the award of temporary research fellowships within the framework of the following research programme :"AUTOMATED FORMAL VERIFICATION OF REAL-TIME SYSTEMS /LOGIC-BASED TECHNIQUES FOR THE AUTOMATED VERIFICATION OF HYBRID REAL-TIME SYSTEMS_2019_ASSEGNI_DEIB_207"
Deadline: 30-09-19
Interview: 17-10-19
Some documents related to this call are available in Italian only