Synrc Research Center в 2015 році заснувала лабораторію
Groupoid Infinity (на базі факультету Прикладної Математики КПІ)
для дослідження формальних мов та середовищ.
Ми використовуємо
AXIO/1 для опису типових специфікацій,
протоколів та інтерфейсів. Також Groupoid Infinity проводить дослідження в області гомотопічної
теорії типів та
формалізації математики.
Серед напрямків діяльності ценру головними є:
— Наукоємні дослідження і виробництво артефактів;
— Відділ публікації нукових робіт в SCOPUS;
—
Курси третього рівня акредитації.
Посади наукових співробітників (R&D КП 213 1.1,2.1,9.1):
— Науковий співробітник-консультант
— Науковий співробітник
— Молодший науковий співробітник