Дата публикации: 13-03-2024 16:02
Программист С++
33 года, 15-12-1991
100000 ₽
Специализация: Программист, разработчик
Пол: Мужской
Город: Омск (Омская область)
График: Полный день
Опыт работы
с 07.2016
по 03.2019
Омский НИИ Приборостроения, ОАО
Программист
Программирование на С/С++ встраиваемых систем на базе STM32 с использованием FreeRTOS:
- Написание бизнес-логики устройства.
- Написание логики взаимодейтсвия с DSP.
- Написание логики работы с периферией (SPI, USB...).
- Написание и поддержка Qt GUI приложения для взаимодействия со встраиваемой системой
(настройка, считывание и запись данных).
Программист, разработчик
с 07.2011
по 07.2016
ОмПО Иртыш, ОАО
Инженер КИПиА
- Разработка системы управления климатическим испытательным оборудованием (КИО) с
использованием ПЛК (программируемого логического контроллера).
- Подготовка к аттестации КИО метрологической службой.
- Подготовка к поверке и обслуживание измерительных приборов, входящих в состав КИО.
Другое
Образование
2021
Высшее
Омский государственный технический университет, Омск
Факультет информационных технологий и компьютерных систем, Прикладная информатика
Ключевые навыки:
 C/C++ Git Qt ООП STL C++ 
Обо мне:
Текущая деятельность (подробности ниже в резюме):
С 2018 года по настоящее время занимаюсь исследованиями и разработкой в следующих
областях и их пересечениях:
- искусственный интеллект и другие когнитивные науки (эпистемология, семантика);
- фундаментальная математика (комбинаторика, теория чисел, теория графов);
- фундаментальная информатика (теории: типов, алгоритмов, сложности, вычислимости);
- прикладная информатика (интеллектуальное семантическое инструментальное ПО);
- системные области (общая теория систем, системная инженерия, теория метасистемных
переходов);
- ТРИЗ, ОТСМ (теория решения изобретательских задач, общая теория сильного мышления);
Специальные навыки и знания:
- C++ 11/14/17/20 (Qt 5/6 Full Stack разработка бизнес-логики и GUI, STL, CMake, Visual Studio,
Eclipse);
- опыт разработки на др.языках (С, Python 3, JavaScript, Lua, Delphi);
- опыт работы с инструментами параллельных вычислении (OpenCL, CUDA);
- знание основ Web (HTML, CSS, JavaScript);
- знание основ работы с реляционными и графовыми СУБД (архитектура, принципы
функционирования, языки запросов SQL и Cypher);
- знание основ разработки игр (архитектура движков, ECS, SDL2);
- знание основ компьютерной графики (современный OpenGL);
- знание устройства языковых инструментов (интерпретаторы, компиляторы, IDE);
- знакомство с другими языками для расширения кругозора (Java, Lisp, Haskell, Erlang, Refal,
Forth, Prolog, Idris, SystemVerilog);
- разработка встраиваемых систем (STM32, FreeRTOS).
Общие навыки:
- понимание и применение ООП, паттернов проектирования;
- знание различных парадигм программирования (объектно-ориентированная,
функциональная, логическая...);
- оценка сложности алгоритмов;
- командная разработка, Git, Redmine;
- понимание и применение разных методологий разработки;
- опыт многопоточного программирования.
Текущая деятельность (подробности):
1) Разработка математических доказательств некоторых важных теорем (упрощение очень
сложных известных доказательств, создание новых).
2) Разработка нового эффективного алгоритма решения задачи коммивояжера в
евклидовом пространстве (ETSP).
3) Разработка прототипа виртуальной ОC, эффективной для развития интеллекта
пользователя и исследования ИИ.
4) Проведение исследований в области AGI (общий искусственный интеллект):
- механизмы эволюции когнитивных систем (включая непрерывное саморазвитие);
- механизмы понимания (а не просто реализация статистических методов работы с
данными);
- механизмы генерации новых знаний и их осмысления.
Дипломная работа:
Создание прототипа системы разработки ПО с применением семантических технологий.
Цель:
- Повышение производительности труда разработчиков через автоматизацию и
эффективное использование их интеллектуальных ресурсов.
Способы достижения цели:
- Повышения адаптивности GUI под пользователя (сенсорный монитор как система ввода
вместе с гибко настраиваемым графическим интерфейсом).
- Повышения степени корректности программ (работа напрямую с семантикой программ, а
не синтаксисом).
- Самодостаточность встроенного семантического инструментария (поддержка всего
жизненного цикла создаваемых продуктов).
Личные качества:
- активное непрерывное самообразование.