Зеленоград
Развивать методы формального (математического) доказательства (при наличии предрасположенности к математическим методам). Неоконченное высшее (бакалавриат, начиная с 3 курса).
АО НПЦ «ЭЛВИС» — ключевой российский дизайн-центр по разработке элементной базы для систем связи и телекоммуникационного оборудования, входит в реестр...