Привет!
Подходит к концу срок моего обучения в ВУЗе. Планирую поступать в аспирантуру. Область научных интересов: машинное обучение, формальная верификация. Пока иду на диплом с отличием.
Общеизвестно, что наука в России в основном сосредоточена в структурных подразделениях РАН. Посему есть желание попасть на работу с последующим обучением в аспирантуре именно туда.
Что умею:
- системное программирование для GNU/Linux на Си
- умею скриптовать рутину на bash, немного знаю Python
- есть некоторый наколеночный опыт с Coq и вообще функциональным программированием: послушал курс Одерски на курсере, пробовал писать лабораторки на OCaml.