Danko Ilik

Since 2022 - Software dependability and security specialist at CNES, the French space agency
2018-2022 - Software validation engineer at Siemens Mobility, working on safety topics for driver-less trains such as formal methods
2016-2018 - Senior security consultant at Trusted Labs, working on cyber-security and in particular formal methods for Common Criteria evaluations

2013-2016 - Researcher (non-tenured) at Inria, Saclay, Ile-de-France
2012-2013 - Research fellow on Kurt Gödel Research Prize Fellowship of Kurt Gödel Society, Vienna, Austria
2011-2012 - Assistant professor at University Goce Delčev, Štip, Macedonia

2010 - PhD in Computer Science - Ecole Polytechnique, France
2007 - Masterclass in Logic - Mathematical institute, Utrecht University, The Netherlands
2006 - MSc in Dependable Computer Systems - Chalmers University of Technology, Gothenburg, Sweden
2004 - BSc in Computer Science - University Ss. Cyril and Methodius University, Skopje, Macedonia

2011 - Kurt Gödel Research Prize Fellowship (doctoral category) - award received from Kurt Gödel Society, Vienna, Austria - a gold medal and a personal prize for research in Mathematical Logic, attributed by an international jury
2007-2010 - Fellowship for PhD studies - Allocation internationale de thèse Gaspard Monge, École Polytechnique, France - only one fellowship per discipline per year awarded in an open competition (national and international)
2006-2007 - Scholarship for Masterclass in Logic, WONDER (the Dutch Research School in Mathematics)
2004-2006 - Scholarship for MSc studies, The Swedish Institute