Vaga de Professor em Linguagens Formais e Autômatos, Compiladores e Desenvolvimento Web

A ESEG está em busca de um Professor de Linguagens Formais, Compiladores e Desenvolvimento Web para ministrar aulas no ensino superior, com foco em conteúdos fundamentais da Ciência da Computação e Engenharia de Computação. O profissional será responsável por compartilhar seus conhecimentos em teoria da computação, construção de compiladores e desenvolvimento web moderno, contribuindo para a formação de profissionais altamente qualificados para o mercado de tecnologia. Responsabilidades: Ministrar aulas teóricas e práticas nas seguintes áreas: Linguagens Formais e Autômatos: Autômatos Finitos Determinísticos (AFD) Autômatos Finitos Não Determinísticos (AFND) Expressões Regulares Autômatos com Pilha Gramáticas Livres de Contexto Máquinas de Turing Linguagens Decidíveis e Indecidíveis Compiladores: Análise Léxica Análise Sintática Análise Semântica Geração de Código Desenvolvimento Web: HTML, CSS e JavaScript Frameworks e bibliotecas front-end Desenvolvimento back-end APIs REST e GraphQL Conexão com bancos de dados Controle de versão (Git) Práticas de DevOps e CI/CD Docker e containers Arquitetura de aplicações web Outras atividades: Elaborar e aplicar provas, trabalhos e exercícios com foco na aplicação prática do conteúdo. Orientar alunos em atividades de laboratório, projetos acadêmicos e desafios de programação. Manter-se atualizado com as tendências e tecnologias emergentes da área. Participar de reuniões acadêmicas, colaborar com a equipe docente e contribuir com melhorias no curso. Horário de Trabalho: Período diurno: das 08:00 às 11:40 Período noturno: das 19:10 às 22:50 Requisitos: Formação acadêmica: Mestrado ou Doutorado em Ciência da Computação, Engenharia de Computação ou áreas correlatas. Experiência prévia no ensino superior nas áreas de teoria da computação, compiladores e desenvolvimento web. Domínio prático de ferramentas e tecnologias web modernas, além de conhecimento sólido em fundamentos teóricos da computação. Boa capacidade de comunicação, didática e trabalho em equipe. Diferenciais: Experiência com projetos de desenvolvimento de software, ensino de computação teórica e aplicação prática de linguagens formais. Vivência em ambientes de desenvolvimento ágil e uso de ferramentas de automação de infraestrutura e entrega contínua.