TechBiz Global is a leading IT recruitment and software development company
Senior Formal Verification Engineer – Vector Unit
Location
Texas
Posted
4 days ago
Salary
0
Seniority
Senior
Job Description
Senior Formal Verification Engineer – Vector Unit
TechBiz Global
• 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
Job Requirements
- B.S./M.S. in Computer Engineering, Electrical Engineering, or Computer Science; or a Ph.D. in formal methods or computer arithmetic
- 5+ years of production-grade hardware verification experience (or Ph.D. + 1–3 years)
- Strong specialization in arithmetic formal verification, algebraic rewriting, and word-level modeling
- Good working knowledge of high-width execution pipelines, vector execution units, or floating-point/integer arithmetic hardware
- Proficient command of commercial EDA formal tools (e.g., Cadence JasperGold/DPV, Synopsys VC Formal, Siemens OneSpin)
- Native fluency in SystemVerilog and SVA; Scripting proficiency (Python, Tcl, or Bash)
Benefits
- Professional development opportunities
- Flexible working arrangements
Related Guides
Related Job Pages
More Full-stack Engineer Jobs
• 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
Desenvolvedor(a) Full Stack
PecegeSomos um ecossistema de educação comprometido em disseminar conhecimento de alta qualidade e acessível a todos.
• Desenvolver e manter aplicações utilizando JavaScript e/ou TypeScript; • Atuar com lógica de programação, desenvolvimento orientado a objetos e boas práticas de arquitetura de software; • Desenvolver soluções em ambientes serverless e orientados a eventos; • Desenvolver, manter e evoluir APIs REST; • Realizar integrações entre sistemas e consumo de APIs externas; • Trabalhar com bancos de dados SQL, modelagem e estruturação de dados; • Desenvolver interfaces frontend utilizando React; • Atuar com a plataforma Twilio, incluindo: Twilio Voice API e Conversations API, Twilio Serverless Functions; Twilio Flex Insights e relatórios; Desenvolvimento e manutenção de plugins do Twilio Flex; • Criação e manutenção de Studio Flows; • Configuração de TaskRouter e roteamento de atendimentos; • Gerenciamento de números telefônicos e WhatsApp Senders na plataforma; • Colaborar com diferentes áreas e equipes, contribuindo com boa comunicação e trabalho em equipe.
