Beskrivning
Synopsys söker en applikationsingenjör inom EDA-verifiering i Kista, Sverige, för att stödja halvledarkunder i Sverige och Norden. Rollen innebär teknisk support för formella verifieringsverktyg som VC Formal, Verdi och VCSDiag, felsökning och lösning av kundproblem, reproduktion av problem i labbmiljöer, utbildning, dokumentation av lösningar och återkoppling till R&D. Tjänsten kan utföras på distans och kräver en kandidat- eller masterexamen inom en relevant ingenjörsdisciplin, 2–5 års erfarenhet av halvledardesign, ASIC-verifiering eller support av EDA-applikationer samt kunskap om formell verifiering av digital design och simuleringsflöden.
