A VERTESIS é uma startup inovadora que desenvolve softwares para o segmento de Óleo & Gás. Surgindo como um spinoff de projetos de pesquisa realizados na UFSC (Universidade Federal de Santa Catarina), a empresa rapidamente ganhou destaque, sendo uma das selecionadas para o programa de inovação da Petrobras "Conexão para Inovação 2020". Com foco em soluções especializadas para reduzir riscos em Sistemas de Missão Críticos, a VERTESIS se destaca em Verificação Formal e Testes. Sua ferramenta já é utilizada em plataformas de produção offshore, aumentando a eficiência e segurança dessas operações.
VERTESIS não possui atualmente nenhuma vaga ativa na plataforma de contractualisation de desenvolvedores ProgramaThor.