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.
