Senior Formal Verification Engineer

Emploi pas sur LinkedIn

🕒 il y a 2 mois

🇪🇸 Espagne – Télétravail

⏰ Temps Plein

🟠 Senior

👷🏻‍♀️ Ingénieur

👻 Score fantôme 37%

Ce que ça veut dire : la probabilité que cette offre reste ouverte sans recrutement actif.Comment le lire : 60 % ou plus, on pense que c'est une offre fantôme. Un score plus bas est moins inquiétant.Comment on la calcule : ancienneté, republications, postes ouverts vs taille de l'équipe, rapidité de clôture, et si le salaire est indiqué.À noter : une estimation à partir de données publiques, pas un jugement sur l'entreprise. De vraies offres peuvent avoir un score élevé, alors prenez-le comme un indice, pas comme un fait.

Postuler Maintenant

Trouver des Emplois à Distance Similaires

Configurer une alerte email pour les nouveaux emplois

📊 Vérifiez votre score de CV pour ce poste

Améliorez vos chances d'obtenir un entretien en vérifiant votre score de CV avant de postuler.

Télécharger le CV

TechBiz Global

Site WebLinkedInTous les Emplois

51 - 200 employés

📣 Marketing

📦 Logistique

🎯 Recrutement

Marketing • Logistics • Recruitment

TechBiz Global est une entreprise de premier plan dans le recrutement et le développement de logiciels, spécialisée dans la mise en relation des entreprises avec des talents de haut niveau dans plus de 28 pays. Elle sert des clients allant des startups aux grandes entreprises, offrant une expertise dans le recrutement pour des rôles clés dans des secteurs tels que la FinTech. En plus de l'acquisition de talents, TechBiz Global propose des services complets de développement logiciel pour transformer les visions de ses clients en réalité, en soutenant les transformations numériques avec des ingénieurs experts. L'entreprise offre également des services de conseil stratégique en tant que CTO, ainsi que des solutions flexibles d'outstaffing et d'outsourcing, aidant les entreprises à gérer leur croissance et à optimiser leurs processus technologiques. Reconnu comme une firme de premier plan en recrutement IT et en conseil, TechBiz Global s'engage à fournir des solutions personnalisées et innovantes à ses clients, assurant qu'ils disposent des outils nécessaires pour réussir.

Description

• Reporting directly to the Vector Unit Verification Lead, this is a highly technical Individual Contributor (IC) role. • Design scalable formal testbenches, write mathematical properties, and ensure the algorithmic and architectural integrity of the vector pipeline. • Work with VU microarchitects to identify deep corner-case bugs and achieve formal sign-off on complex arithmetic and execution blocks. • Design, deploy, and maintain robust formal verification environments for Vector Unit sub-blocks. • Implement advanced word-level modeling, bit-blasting, and algebraic rewriting strategies to verify floating-point and integer vector arithmetic units. • Independently diagnose and resolve proof-convergence failures using advanced reduction techniques. • Develop formal environments to mathematically prove compliance with RISC-V Vector Extension specifications. • Collaborate closely with VU simulation engineers for maximum bug-hunting efficiency.

🎯 Exigences

• B.S./M.S. in Computer Engineering, Electrical Engineering, or Computer Science with practical industry execution; or a Ph.D. with a research focus on formal methods or computer arithmetic. • 5+ years of production-grade hardware verification experience (or Ph.D. + 1–3 years) with a proven track record of applying formal verification to CPU, GPU, or DSP execution pipelines. • A self-driven engineer who enjoys deep mathematical puzzles, collaborates seamlessly within a localized block-level team. • 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).

🏖️ Avantages

• Flexible working hours • Professional development opportunities