Objective 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. Fields of science natural sciencescomputer and information sciencessoftwarenatural sciencescomputer and information sciencesdata sciencenatural language processingsocial scienceseconomics and businessbusiness and managementemploymentnatural sciencesmathematicsnatural sciencescomputer and information sciencesartificial intelligencemachine learning Programme(s) H2020-EU.2.3. - INDUSTRIAL LEADERSHIP - Innovation In SMEs Main Programme H2020-EU.2.3.2.2. - Enhancing the innovation capacity of SMEs Topic(s) INNOSUP-02-2016 - European SME innovation Associate - pilot Call for proposal H2020-INNOSUP-2016-2017 See other projects for this call Sub call H2020-INNOSUP-02-2016 Funding Scheme CSA - Coordination and support action Coordinator OSUUSKUNTA DYNAVIO Net EU contribution € 91 250,00 Address LUGNETINTIE 21 B 02770 ESPOO Finland See on map SME The organization defined itself as SME (small and medium-sized enterprise) at the time the Grant Agreement was signed. Yes Region Manner-Suomi Helsinki-Uusimaa Helsinki-Uusimaa Activity type Private for-profit entities (excluding Higher or Secondary Education Establishments) Links Contact the organisation Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Total cost € 91 250,00