<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">Are you interested in improving the explainability of machine learning using formal verification? Are you interested in being a part of cutting edge research in cooperation with TNO and the iCIS institute at Radboud University, Nijmegen? Then apply for a PhD position within the EXoDuS project, where you will be jointly supervised by Dr. Nils Jansen (Radboud University, Nijmegen) and Dr. Guillermo Perez (University of Antwerp). <br class=""><br class="">* Responsibilities<div class=""><br class="">As a PhD candidate, you will work on the project EXplainable Data Science using Formal Verification (EXoDuS). The project is partially funded by the VWDATA programme and the Institute for Computing and Information Science (iCIS) of Radboud University and will be carried out in close cooperation with TNO. <br class=""> <br class="">The impact of artificial intelligence (AI) on autonomous driving, robot-assisted surgery, and home automation has resulted in an increased reliance on AI systems. In mission-critical applications, the inherent vulnerability of such systems to adversarial attacks poses a serious challenge. We propose to immerse humans in the process of robustifying AI systems against problems such as adversarial learning or data poisoning via formal methods. Formal verification in particular provides tools and algorithms to rigorously assess the correctness of a system. The key element is to enable humans to understand AI-made decisions in an adversarial environment. Decision-making is sufficiently captured by so-called strategies; a neural network, for example, represents a strategy that has been learned. For such strategies, data scientists and system engineers lack tools to answer transparency-related questions. <br class=""> <br class=""><div class="">You will use formal techniques and directions such as SMT solving, model checking, and partially observable Markov decision processes. From the AI perspective, you will marry the aforementioned concepts with (convolutional) deep neural networks and decision trees.<br class=""><br class=""></div><div class="">* Work environment</div><div class=""><br class="">Strategically located in Europe, Radboud University is one of the leading academic communities in the Netherlands. The position is available in the Software Science group of the Institute for Computing and Information Sciences (iCIS) at Radboud University. Research at iCIS focuses on software science, digital security and data science. Our research mission is to improve the security and reliability of computer-based systems and algorithms through mathematically founded theories, methods and tools. During recent evaluations, iCIS has been consistently ranked as the No. 1 Computing Science department in the Netherlands. Evaluation committees praised our flat and open organisational structure, our ability to attract external funding, our strong ties to other disciplines, and our solid contacts with government and industrial partners. The Software Science group is well known for its contributions to the mathematical foundations of software, formal methods, and functional programming.</div></div><div class=""><br class=""></div><div class="">* Details</div><div class=""><br class=""></div><div class="">The application deadline is April 14, 2019. More information and application form: <a href="https://www.ru.nl/werken/details/details_vacature_0/?recid=601933" class="">https://www.ru.nl/werken/details/details_vacature_0/?recid=601933</a></div><div class=""><br class=""></div><div class="">For questions please contact Nils Jansen (<a href="mailto:n.jansen@science.ru.nl" class="">n.jansen@science.ru.nl</a>). </div><div class=""><br class=""></div><div class="">* Further information</div><div class=""><br class=""></div><div class=""><div class=""><a href="http://nilsjansen.org" class="">http://nilsjansen.org</a></div><div class=""><br class=""></div><div class=""><a href="https://www.uantwerpen.be/en/staff/guillermoalberto-perez/" class="">https://www.uantwerpen.be/en/staff/guillermoalberto-perez/</a></div><div class=""><br class=""></div><div class=""><a href="https://www.ru.nl/english/working-at/why-work-at-radboud-university-0/terms-employment/" class="">https://www.ru.nl/english/working-at/why-work-at-radboud-university-0/terms-employment/</a></div><div class=""><br class=""></div><div class=""><a href="https://commit2data.nl/en/vwdata" class="">https://commit2data.nl/en/vwdata</a></div><div class=""><br class=""></div><div class=""><a href="https://www.ru.nl/icis/" class="">https://www.ru.nl/icis/</a></div><div class=""><br class=""></div><div class=""><a href="https://www.tno.nl/en/" class="">https://www.tno.nl/en/</a></div><div class=""><br class=""></div></div><div class=""><div class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div class="">--</div><div class="">Dr. Nils Jansen<br class="">Assistant Professor<br class="">Department of Software Science<br class="">Radboud University Nijmegen<br class=""><a href="http://nilsjansen.org" class="">http://nilsjansen.org</a></div></div></div><br class=""><br class=""><div class="">
<div style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div style="color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><br class=""></div></div></div></body></html>