Cel The aim of this proposal is to aid Dynavio Cooperative in the recruitment and development of its collaboration with an highly skilled specialist combining rare competences in mathematics' formal logic and computing science at a doctoral level. This recruitment should support the development of its promising products in the field of automatic requirement design extraction and analysis. The products developed by Dynavio automate knowledge intensive but routine document analysis tasks for allowing the highly skilled, well-paid engineering specialists to allocate their time for tasks that create higher value for the company, and that are more fulfilling for the individual.Formal logic in mathematics is an approach having the potential to detect contradictions between requirements. Detecting those contradictions at early stage is providing a huge support to design and develop better complex systems. Dynavio's requirement extractor and analysis product is not yet capable of discovering all those complex contradictions. The support of a formal logic specialist having excellent programming skills will support this development. Currently we have not been able to find such specialist on our national labor market. Dziedzina nauki natural sciencescomputer and information sciencessoftwarenatural sciencescomputer and information sciencesdata sciencenatural language processingsocial scienceseconomics and businessbusiness and managementemploymentnatural sciencesmathematicsnatural sciencescomputer and information sciencesartificial intelligencemachine learning Program(-y) H2020-EU.2.3. - INDUSTRIAL LEADERSHIP - Innovation In SMEs Main Programme H2020-EU.2.3.2.2. - Enhancing the innovation capacity of SMEs Temat(-y) INNOSUP-02-2016 - European SME innovation Associate - pilot Zaproszenie do składania wniosków H2020-INNOSUP-2016-2017 Zobacz inne projekty w ramach tego zaproszenia Szczegółowe działanie H2020-INNOSUP-02-2016 System finansowania CSA - Coordination and support action Koordynator OSUUSKUNTA DYNAVIO Wkład UE netto € 91 250,00 Adres LUGNETINTIE 21 B 02770 ESPOO Finlandia Zobacz na mapie MŚP Organizacja określiła się jako MŚP (firma z sektora małych i średnich przedsiębiorstw) w czasie podpisania umowy o grant. Tak Region Manner-Suomi Helsinki-Uusimaa Helsinki-Uusimaa Rodzaj działalności Private for-profit entities (excluding Higher or Secondary Education Establishments) Linki Kontakt z organizacją Opens in new window Uczestnictwo w unijnych programach w zakresie badań i innowacji Opens in new window sieć współpracy HORIZON Opens in new window Koszt całkowity € 91 250,00