Šárka Nesvedová
Metodička mezd a personalistiky
+420 54114 1264
nesvedova@fit.vut.cz
F106 Ekonomické oddělení
Projekty
-
2023
Pokročilá analýza a verifikace pro pokročilý software, GAČR, Standardní projekty, GA23-06506S, zahájení: 2023-01-01, ukončení: 2025-12-31, ukončen
Reprezentace Booleovských funkcí pomocí adaptabilní datové struktury, GAČR, Standardní projekty, GA23-07565S, zahájení: 2023-01-01, ukončení: 2025-12-31, ukončen
VESCAA: Verifikovatelná a efektivní syntéza kontrolerů, GAČR, Standardní projekty, GA23-06963S, zahájení: 2023-03-01, ukončení: 2025-12-31, ukončen
-
2022
INSEM - Camea SV, CAMEA, zahájení: 2022-07-01, ukončení: 2023-05-31, ukončen
WIM LA - Camea SV, CAMEA, zahájení: 2022-03-01, ukončení: 2023-05-31, ukončen