O Departamento de Automação e Sistemas (DAS) da Universidade Federal de
Santa Catarina (UFSC) está realizando concurso para preencher 1 (uma)
vaga para o Campo de Conhecimento "Automação Eletrônica de Processos
Elétricos e Industriais".


Alguns detalhes sobre o concurso:
1.4 Campus Universitário – Florianópolis (FLN)
1.4.9.2 Departamento de Automação e Sistemas (DAS)
1.4.9.2.1 Campo de Conhecimento: Automação Eletrônica de Processos
Elétricos e Industriais
Processo: 23080.043095/2021-41
Número de vagas: 1 (uma)
Denominação: Adjunto A
Regime de Trabalho: Dedicação Exclusiva (DE)
Requisitos para provimento no cargo: Título de Doutor em Engenharia de
Automação e Sistemas ou Engenharia de Controle e Automação ou Engenharia
Elétrica ou Engenharia Eletrônica ou Engenharia Mecatrônica ou
Engenharia de Computação ou Engenharia Mecânica ou Engenharia
Aeronáutica ou Engenharia de Sistemas e Computação ou Engenharia de
Sistemas Eletrônicos e de Automação ou Engenharia Elétrica e Informática
Industrial ou Engenharia e Tecnologia Espaciais ou Engenharia Industrial

Site do concurso com todas as informações relevantes:
https://087ddp2021.concursos.ufsc.br/

Agenda: https://087ddp2021.concursos.ufsc.br/?page_id=14 (Período de
inscrições: 02/12/2021 à 13/01/2022)

Edital: https://087ddp2021.concursos.ufsc.br/?page_id=274

Conteúdo Programático:
1. Sistemas dinâmicos a eventos discretos: conceitos, metodologias,
tendências e aplicações;
2. Modelos formais de sistemas a eventos discretos: autômatos;
3. Modelos formais de sistemas a eventos discretos: Redes de Petri;
4. Modelos temporizados de sistemas a eventos discretos: Rede de Petri
Temporal (Time Petri Net);
5. Modelagem de sistemas a eventos discretos: composição concorrente de
modelos formais, representação hierárquica de sistemas;
6. Controle supervisório de sistemas a eventos discretos:
controlabilidade, não-bloqueio e síntese de supervisores;
7. Implementação de controle de sistemas a eventos discretos em
Controlador Lógico Programável (CLP);
8. Diagnóstico de falhas em sistemas a eventos discretos;
9. Verificação formal de sistemasa eventos discretos: model-checking;
10. Cibersegurança de sistemas a eventos discretos.

https://087ddp2021.concursos.ufsc.br/files/2021/11/CTC-Conte%C3%BAdo-program%C3%A1tico.pdf