Контактная информация

Соискатель указал телефон .

Получить контакты этого кандидата можно на странице https://www.work.ua/resumes/12978277/

Образование

Среднее

Знания и навыки

• Git
• Користувач ОС Linux
• Agda
• Nix
• Haskell
• Розробка ПЗ
• Адміністрування ОС Linux
• Здатність до навчання
• Unit-тестування
• Ведення технічної документації
• Асистенти доведення теорем

Знание языков

Английский — выше среднего

Дополнительная информация

Студент. Не маю досвіда комерційної розробки, розробки в команді або з популярними фреймворками.

Знаю основи користування ОС Windows, впевнене користування ОС Linux (Arch, NixOS). Середній рівень знання англійської (upper-intermediate при спілкуванні текстом, не маю досвіту спілкування вербально).
Знайомий з екосистемою Nix, вмію налаштовувати відтворювані середовища розробки з використанням nix flakes. Вмію шукати інформацію та документацію онлайн.
Маю pet-проекти на JS/TS (node & web, tui, скриптинг, generative art), Rust (скриптинг, generative art), Python (скриптинг), C# (розробка ігор на Godot Engine), Scala (виключно в контексті розробки Forge мода для гри Minecraft), Haxe (targeting Lua), Haskell (скриптинг, tui), Agda (верифікація властивостей алгоритмів та математичних моделей ПЗ). Також маю трохи досвіду з Arduino.
Розумію принципи роботи мов програмування та операційних систем. На базовому рівні знаю ООП, ФП на середньому. У вільний час вивчаю теорію типів та різні мови програмування, наразі розробляю свою на Haskell та Agda.