CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
This project seeks to recruit a specialist in formal logic and computing to enhance the development of automated requirement design extraction tools. The aim is to improve the detection of contradictions in requirements, leading to better complex system designs.
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…
OSUUSKUNTA DYNAVIO
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
