Преподаватель дисциплины «Теория формальных языков и грамматик»

Хотите стать частью инновационного проекта Совкомбанка и Костромского Государственного Университета?

Высшая ИТ-школа – это уникальная платформа для подготовки будущих IT-специалистов, созданная в партнерстве с одним из ведущих банков России.

Факультет приглашает преподавателя для ведения дисциплины «Теория формальных языков и грамматик»

Чем вы будете заниматься:​​​​​​

• Проведение лекционных и лабораторных занятий по дисциплине «Теория формальных языков и грамматик»;
• Разработка или адаптация учебно-методических материалов (презентации, задания к лабораторным работам, варианты контрольных);
• Подготовка заданий по программированию конечных и магазинных автоматов, алгоритмов лексического и синтаксического анализа;
• Проведение текущего контроля знаний (собеседования, тесты, проверка лабораторных работ);
• Прием экзамена с оценкой теоретической и практической подготовки обучающихся;
• Сопровождение при выполнении лабораторных работ (разбор ошибок, консультации по реализации алгоритмов);
• Оценка корректности реализованных обучающихся программных решений (автоматы, парсеры, таблицы идентификаторов).

Что мы ждем от вас:

• Высшее образование в области: прикладная математика, информатика, компьютерные науки, программная инженерия.
• От 2 лет практического опыта в программировании, алгоритмизации, разработке программных систем.

Уверенное знание и практическое владение:

• Теорией формальных языков и грамматик (классификация Хомского, формы Бэкуса-Наура, сентенциальные формы);
• Конечными автоматами (ДКА, НКА, минимизация, реализация);
• Контекстно-свободными грамматиками и МП-автоматами;
• Методами разбора выражений (польская запись, инфиксная/префиксная/постфиксная формы);
• Этапами трансляции: лексический, синтаксический, семантический анализ;
• Практические навыки программирования на Pascal / PascalABC.NET и C/C++.

Умение реализовывать:

• Лексические и синтаксические анализаторы;
• Конечные и магазинные автоматы;
• Таблицы идентификаторов (бинарное дерево, хеш-таблицы, списки);
• Алгоритмы разбора выражений;
• Способность объяснять абстрактные математические концепции и сопровождать учащихся при написании алгоритмического кода.

Желательно:

• Ученая степень (к.ф.-м.н. / к.т.н.) или звание доцента.
• Опыт системного программирования, разработки компиляторов / интерпретаторов / DSL / parser tools.
• Опыт преподавания теоретических дисциплин по программированию или математических дисциплин;
• Опыт олимпиадного программирования.
• Знание Python, Pascal / PascalABC.NET, C / C++, CodeBlocks, PascalABC.NET;
• Среды для системного программирования;
• Умение сочетать математическую теорию и практическое программирование в рамках одного занятия;
• Готовность работать с задачами повышенной алгоритмической сложности;
• Способность проводить индивидуальные собеседования по коду и теории.

Мы гарантируем:

• ​​​​​​​Оформление по ТК РФ;
• Заработная плата сдельная, обсуждается индивидуально
• Гибкий график проведения занятий (возможно совмещение с основной работой в ИТ).
• Полная методическая поддержка кафедры.
• Возможность влиять на содержание лабораторного практикума.
• Работа в аудиториях вуза /онлайн (по договоренности).

Откликайся на вакансию – присоединяйся к нашей команде!