Обязанности:
Хотите стать частью инновационного проекта Совкомбанка и Костромского Государственного Университета?Высшая ИТ-школа – это уникальная платформа для подготовки будущих IT-специалистов, созданная в партнерстве с одним из ведущих банков России. Факультет приглашает преподавателя для ведения дисциплины «Теория формальных языков и грамматик» Чем вы будете заниматься: Проведение лекционных и лабораторных занятий по дисциплине «Теория формальных языков и грамматик»; Разработка или адаптация учебно-методических материалов (презентации, задания к лабораторным работам, варианты контрольных); Подготовка заданий по программированию конечных и магазинных автоматов, алгоритмов лексического и синтаксического анализа; Проведение текущего контроля знаний (собеседования, тесты, проверка лабораторных работ); Прием экзамена с оценкой теоретической и практической подготовки обучающихся; Сопровождение при выполнении лабораторных работ (разбор ошибок, консультации по реализации алгоритмов); Оценка корректности реализованных обучающихся программных решений (автоматы, парсеры, таблицы идентификаторов). Что мы ждем от вас: Высшее образование в области: прикладная математика, информатика, компьютерные науки, программная инженерия. От 2 лет практического опыта в программировании, алгоритмизации, разработке программных систем. Уверенное знание и практическое владение: Теорией формальных языков и грамматик (классификация Хомского, формы Бэкуса-Наура, сентенциальные формы); Конечными автоматами (ДКА, НКА, минимизация, реализация); Контекстно-свободными грамматиками и МП-автоматами; Методами разбора выражений (польская запись, инфиксная/префиксная/постфиксная формы); Этапами трансляции: лексический, синтаксический, семантический анализ; Практические навыки программирования на Pascal / PascalABC.NET и C/C++. Умение реализовывать: Лексические и синтаксические анализаторы; Конечные и магазинные автоматы; Таблицы идентификаторов (бинарное дерево, хеш-таблицы, списки); Алгоритмы разбора выражений; Способность объяснять абстрактные математические концепции и сопровождать учащихся при написании алгоритмического кода. Желательно: Ученая степень (к.ф.-м.н. / к.т.н.) или звание доцента. Опыт системного программирования, разработки компиляторов / интерпретаторов / DSL / parser tools. Опыт преподавания теоретических дисциплин по программированию или математических дисциплин; Опыт олимпиадного программирования. Знание Python, Pascal / PascalABC.NET, C / C++, CodeBlocks, PascalABC.NET; Среды для системного программирования; Умение сочетать математическую теорию и практическое программирование в рамках одного занятия; Готовность работать с задачами повышенной алгоритмической сложности; Способность проводить индивидуальные собеседования по коду и теории. Мы гарантируем: Оформление по ТК РФ; Заработная плата сдельная, обсуждается индивидуально Гибкий график проведения занятий (возможно совмещение с основной работой в ИТ). Полная методическая поддержка кафедры. Возможность влиять на содержание лабораторного практикума. Работа в аудиториях вуза /онлайн (по договоренности). Откликайся на вакансию – присоединяйся к нашей команде!Похожие вакансии
От 28 000 до 56 000 руб.
Кострома
ОБЛАСТНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ПРОФЕССИОНАЛЬНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ "КОСТРОМСКОЙ АВТОТРАНСПОРТНЫЙ КОЛЛЕДЖ"
От 30 500 до 30 500 руб.
Кострома
МУНИЦИПАЛЬНОЕ БЮДЖЕТНОЕ ОБЩЕОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ГОРОДА КОСТРОМЫ "ГИМНАЗИЯ № 15"