• Design, deploy, and maintain robust formal verification environments for complex Vector Unit sub-blocks • Implement advanced word-level modeling, bit-blasting, and algebraic rewriting strategies • Independently diagnose and resolve proof-convergence failures, over-constraints, and state-space explosions • Develop formal environments to mathematically prove compliance with the RISC-V Vector Extension specification • Collaborate closely with simulation engineers to ensure maximum bug-hunting efficiency

• Provide technical leadership to the squad. • Guide engineers on complex solutions, ensuring development best practices. • Conduct code reviews and define coding standards. • Manage API governance, versioning, and contracts. • Collaborate with Architects on technical implementation.

• Desenvolver e manter aplicações web modernas, APIs e plataformas SaaS em ambientes de alta escala • Escrever código limpo, testável e performático aplicando princípios SOLID e padrões de design • Colaborar ativamente com Líderes Técnicos, Arquitetos, UX, QA e DevOps em squads multidisciplinares • Definir e manter padrões técnicos para desenvolvimento front-end e back-end • Identificar, diagnosticar e mitigar dívidas técnicas e gargalos de desempenho • Projetar e implementar componentes reutilizáveis e contribuir para a evolução do Sistema de Design • Garantir segurança, observabilidade e alta disponibilidade da plataforma • Documentar APIs, componentes, decisões técnicas e fluxos de integração

• Lezioni private pratiche su programmazione (base o intermedia) • Logica, strutture dati e debugging • Sviluppo web o software (in base alle tue competenze) • Supporto su progetti, esercizi e studio autonomo • Aiutare lo studente a capire il “perché” del codice • Migliorare metodo e autonomia • Sessioni online o in presenza, a tua scelta