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

Шукач вказав телефон .

Отримати контакти цього кандидата можна на сторінці 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.