Ledigt jobb: Kvalitetsingenjör, el-tele

Om Norla:

Norla är ett IT- och managementkonsultföretag som drivs av kundnöjdhet. Vi arbetar i en multikulturell miljö och leds av vår princip "Hjärna och Hjärta." Vi prioriterar att våra relationer med våra anställda säkerställer deras professionella tillväxt och framgång. Tillsammans samarbetar vi med ett nätverk av stora aktörer för att upptäcka de bästa talangerna som kan stödja våra kunder.

Den föredragna platsen för denna roll är Sverige, men distansarbete inom Europa kan övervägas för rätt kandidat. Detta är en spännande möjlighet att arbeta med banbrytande telecom ASIC-design, i samarbete med ett skickligt och innovativt team.

Huvudsakliga ansvarsområden

• Utveckla och implementera formella verifieringsstrategier för ASIC-design.
• Definiera formella verifieringsplaner och säkerställa täckning och fullständighet.
• Arbeta nära design- och verifieringsteam för att integrera formell verifiering i den övergripande verifieringsflödet.
• Tillämpa modellkontroll, egenskapskontroll och assertionsbaserad verifiering för att validera design.
• Identifiera och felsöka designproblem tidigt i utvecklingscykeln.
• Bidra till metodologiska förbättringar och bästa praxis för formell verifiering.

Krav

• 3+ års erfarenhet av formell verifiering av ASIC.
• Stark expertis inom formella verifieringsverktyg (såsom JasperGold, VC Formal, Questa Formal eller liknande).
• Erfarenhet av SystemVerilog Assertions (SVA) och Property Specification Language (PSL).
• God förståelse för digital design, RTL och verifieringskoncept.
• Erfarenhet av telecom ASIC eller nätverksrelaterade halvledardesigner.
• Kännedom om UVM (Universal Verification Methodology) är ett plus.
• Starka problemlösnings- och felsökningsförmågor.
• Flytande i engelska.
• Skall vara berättigad att arbeta i Sverige eller på distans inom Europa.