Tender inquiry regarding the selection of an R&D service provider based on a mandate contract for the position of Data Scientist in the project "Development of a new, specialized software environment for effective and verifiable code generation using AI systems", funding application no. FENG.01.01-IP.02-0288/26.

Zapytanie ofertowe dotyczące wyboru wykonawcy usług B+R na podstawie umowy zlecenia na stanowisku Data Scientist w projekcie „Opracowanie nowego, specjalistycznego środowiska programistycznego do efektywnego i weryfikowalnego generowania kodu z wykorzystaniem systemów AI”, wniosek o dofinansowanie nr FENG.01.01-IP.02-0288/26. Przedmiotem zamówienia jest wybór wykonawcy na stanowisko Data Scientist w formie umowy zlecenia, łącznie 3960 godzin usług, z dopuszczeniem ofert częściowych na 2 części po 1980 godzin (pkt 2.1), do wykonywania prac badawczo-rozwojowych w projekcie FENG.01.01-IP.02-0288/26. Profil stanowiska koncentruje się na ewaluacji systemów generatywnych, analizie mechanizmów weryfikacji kodu oraz projektowaniu eksperymentów badawczych. Wymiar zaangażowania w każdej części: umowa zlecenia, planowane łącznie 1980 godzin usług; orientacyjnie 60 godzin miesięcznie, rozliczenie według rzeczywistych czynności w zadaniach 1, 2 i 3 projektu. Zakres obowiązków w ramach zadania 1 (od dnia zawarcia umowy – 31.10.2027, 720 h w każdej części): - prowadzenie badań nad formatami komunikatów diagnostycznych stosowanych w istniejących językach programowania i narzędziach kompilacyjnych, w kontekście ich interakcji z modelami językowymi (LLM); - analiza wpływu różnych form diagnostyki na efektywność samokorekty kodu, w tym zdolności modeli LLM do interpretacji komunikatów błędów i generowania poprawek; - walidacja oraz rozwój zadań testowych syntezy kodu; - projektowanie i przeprowadzanie eksperymentów dotyczących liczby iteracji (pętli samokorekty) wymaganych do uzyskania poprawnego rozwiązania; - weryfikacja i analiza benchmarków syntezy kodu w zakresie stabilności działania modeli językowych; - opracowanie metryk oceny stabilności i efektywności modeli w zadaniach generowania kodu; - dokumentowanie wyników badań. Zakres obowiązków w ramach zadania 2 (01.11.2027 – 31.10.2028, 720 h w każdej części): - badania nad wykorzystaniem solverów SMT w weryfikacji kodu generowanego przez modele LLM, w powiązaniu z systemami typów i kontraktami semantycznymi; - opracowanie i rozwój klasyfikacji błędów w kodzie generowanym przez modele językowe (semantycznych, logicznych, wykonaniowych, związanych z bezpieczeństwem) wraz z analizą ich wykrywalności metodami statycznymi i dynamicznymi; - analiza stabilności modeli językowych w zadaniach generowania kodu; - rozwój benchmarków syntezy kodu pod kątem oceny skuteczności mechanizmów weryfikacji; - eksperymenty nad wpływem weryfikacji statycznej i dynamicznej na bilans tokenowy procesu generowania kodu; - opracowanie metryk oraz analiza wyników z zastosowaniem metod statystycznych; dokumentowanie wyników. Zakres obowiązków w ramach zadania 3 (01.11.2028 – 31.07.2029, 540 h w każdej części): - walidacja opracowywanych rozwiązań w warunkach zbliżonych do rzeczywistych i operacyjnych; - projektowanie i przeprowadzanie testów typu end-to-end całego procesu generowania i weryfikacji kodu; - analiza różnic w wynikach w zależności od zastosowanych modeli językowych i ich konfiguracji; - badanie powtarzalności i odporności systemu na zmienność wyników modeli LLM; - weryfikacja bilansu tokenowego w warunkach operacyjnych; - opracowanie metryk skuteczności systemu, analiza statystyczna wyników, dokumentowanie wyników i rekomendacji. 4. Termin i uruchomienie usług 4.1. Planowany okres realizacji obejmuje okres od dnia zawarcia umowy, planowo w listopadzie 2026 r., do 31 lipca 2029 r. i podział godzin według zadań określony w opisie zamówienia. 4.2. Umowa zlecenia będzie zawierać postanowienie: „Umowa może zostać rozwiązana przez Zleceniodawcę ze skutkiem natychmiastowym, jeżeli z przyczyn nie leżących po stronie Zamawiającego Polska Agencja Rozwoju Przedsiębiorczości nie podpisze umowy o dofinansowanie wniosku wymienionego w par. 1 do dnia 31.12.2026 roku. W takim przypadku Zleceniobiorcy nie przysługuje żadne wynagrodzenie z tyt. zawarcia niniejszej umowy.” 5. Miejsce realizacji Wykonawca samodzielnie organizuje miejsce wykonywania usług, z uwzględnieniem uzgodnionego dostępu do zasobów projektu, spotkań i ochrony informacji. Wykonywanie prac badawczo-rozwojowych na stanowisku Data Scientist na podstawie umowy zlecenia w projekcie FENG.01.01-IP.02-0288/26: 1980 godzin usług (zadanie 1 – 720 h, zadanie 2 – 720 h, zadanie 3 – 540 h), orientacyjnie 60 godzin miesięcznie. Pełny zakres obowiązków i wymagań – Załącznik nr 4. Zamówienia uzupełniające: Zamawiający nie przewiduje udzielenia zamówień uzupełniających. Warunki zmiany umowy: 14. Zakres i warunki zmian umowy 14.1. Zmiany wymagają pisemnego aneksu albo równoważnej formy elektronicznej z kwalifikowanymi podpisami i muszą być dopuszczalne według zasad konkurencyjności oraz warunków finansowania projektu. 14.2. Udokumentowane opóźnienie rozpoczęcia finansowania, zmiana zatwierdzonego harmonogramu albo przeszkoda niezależna od stron, w tym siła wyższa, może uzasadniać zmianę terminów wyłącznie w zakresie jej wpływu na usługi i w granicach kwalifikowalności projektu; nie powoduje automatycznego zwiększenia ceny q, liczby godzin ani maksymalnej ceny. 14.3. Udokumentowany przebieg prac badawczych albo zmiana zatwierdzonego zakresu projektu może uzasadniać zmianę sposobu wykonania lub podziału godzin między zadania, przy zachowaniu ogólnego charakteru zamówienia, łącznej liczby godzin i ceny q, bez ponownego rozliczenia tych samych czynności. 14.4. Zmiana prawa może uzasadniać zmianę warunków tylko w zakresie koniecznym do zgodności z tym prawem, z podaniem przepisu, daty jego wejścia w życie i udokumentowanego wpływu na rozliczenie. Ewentualna zmiana q i maksymalnej ceny nie może przekroczyć wykazanego koniecznego wpływu zmiany prawa i wymaga spełnienia pkt 14.1; nie następuje automatycznie z powodu zmiany statusu wykonawcy. Nie narusza to ustawowego prawa do minimalnego wynagrodzenia za usługi już wykonane. 14.5. Sam aneks, protokół albo wybór miesiąca honorarium nie zastępuje oceny zgodności zmiany z zamówieniem i warunkami finansowania. 15. Pozostałe informacje 15.1. Poprzez złożenie oferty oferent wyraża zgodę na podanie do wiadomości pozostałych oferentów szczegółów oferty. 15.2. Zamawiający zastrzega sobie prawo do: zmiany warunków udzielenia zamówienia; unieważnienia postępowania; niewybrania żadnej z przedstawionych ofert bez podania przyczyny; pozostawienia bez rozpatrzenia oferty niezgodnej z wymogami zapytania. W przypadku zaistnienia powyższych okoliczności oferentom nie przysługują żadne roszczenia wobec Zamawiającego. Postępowanie nie jest prowadzone w oparciu o ustawę Prawo zamówień publicznych, dlatego nie jest możliwe stosowanie środków odwoławczych określonych w tej ustawie. Zamawiający: Ducktype Sp. z o.o. Kategoria: Usługa CPV: 73110000-6 Numer projektu (FENX/etc.): FENG.01.01-IP.02-001/26