Лектор Курса «Формальные Языки И Трансляции»

TL;DR

Лектор (Formal Languages and Translations): Преподавание курса по теории формальных языков и основам трансляции для студентов бакалавриата с акцентом на математическую теорию и практическую реализацию алгоритмов. Фокус на построении анализаторов, работе с инструментами генерации парсеров и изучении конечных автоматов.

Локация: Очный формат, Москва (м. Маяковская)

Компания

Центральный университет — современное образовательное учреждение.

Что делать

• Проводить лекции и семинары, объясняя теорию формальных языков и основ трансляции.
• Разъяснять ключевые концепции: регулярные выражения, конечные автоматы, контекстно-свободные грамматики и автоматы с магазинной памятью.
• Преподавать алгоритмы синтаксического анализа, включая CYK, Earley и LR.
• Создавать, проверять и оценивать практические задания и контрольные материалы.
• Консультировать студентов по учебному процессу.

Требования

• Глубокие знания теории формальных языков, автоматов, алгоритмов и математической логики.
• Опыт программирования.
• Понимание принципов работы компиляторов.

Хорошо, если есть

• Опыт преподавания или ученая степень.
• Опыт разработки компиляторов или DSL.

Культура и преимущества

• Работа в современном кампусе в 5 минутах от м. «Маяковская».
• Частичная занятость (10–15 часов в неделю).
• Минимум бюрократии — полная административная поддержка всех процессов.