Третье всероссийское соревнование по формальной верификации программ VeHa-2025 прошло 4–8 ноября, оно стало мероприятием-спутником XXVI Открытой Всесибирской олимпиады по программированию им. И. В. Поттосина. В соревнованиях приняли участие представители ведущих российских компаний, университетов и научных институтов.
Федеральное государственное бюджетное учреждение науки Институт автоматики и электрометрии СО РАН объявляет конкурс на замещение 7 вакантных должностей младшего научного сотрудника, отрасль науки – «физика и астрономия».