Zlecenie 7151346 - Zapytanie ofertowe nr 01/2019 Przedmiotem zamówienia jest...

wiązanych z developmenetem blockchain w ramach realizacji prac badawczo-
rozwojowych projektu „Opracowanie inteligentnej platformy automatyzującej proces
audytowania smart contractów w sieci Blockchain” przy wsparciu ze środków Programu
Operacyjnego Inteligentny Rozwój – konkurs „Szybka Ścieżka”, Działanie 1.1. "Projekty B+R
przedsiębiorstw", Poddziałanie 1.1.1 „Badania przemysłowe i prace rozwojowe realizowane
przez przedsiębiorstwa”. Cel zamówienia Działając zgodnie z zasadą uczciwej konkurencji i równego traktowania wykonawców, Block
Solutions Sp. z o.o. ogłasza postępowanie w trybie zapytania ofertowego celem wyłonienia
Wykonawcy prac badawczo-rozwojowych obejmujących Development Blockchain dla projektu
w ramach Programu Operacyjnego Inteligentny Rozwój, Priorytet I: Wsparcie prowadzenia prac
B+R przez przedsiębiorstwa Działanie 1.1: Projekty B+R przedsiębiorstw Poddziałanie 1.1.1:
Badania przemysłowe i prace rozwojowe realizowane przez przedsiębiorstwa. Przedmiot zamówienia W ramach projektu „Opracowanie inteligentnej platformy automatyzującej proces audytowania
smart contractów w sieci Blockchain” zostanie stworzony system automatycznego audytowania
smart contractów oparty o najnowsze zdobycze nauki z dziedziny algorytmów i sztucznej
inteligencji.
Szczegółowy zakres zadań przewidzianych do realizacji przez Wykonawcę obejmuje prace
badawczo-rozwojowe w poniżej opisanym zakresie:

- Prowadzenie badań nad technologią audytowania smart contractów funkcjonujących w sieci
blockchain
- Projektowanie systemu automatycznego przeprowadzania audytów
- Badanie kodu smart contractów w celu opracowania automatycznego narzędzia
- Pisanie kodu narzędzia do automatycznego audytowania smart contractów,
- Audytowanie smart contractów,
- Projektowanie systemów konwolucyjnych sieci neuronowych oraz drzew decyzyjnych,
- Projektowanie narzędzi opartych o technologię fuzzy debugging, symboliczne maszyny
wirtualne oraz algorytmy genetyczne.