- Meta (Austin, TX)
- …as SystemVerilog and SVA 14. Proficiency in scripting languages such as Python, Perl , or Tcl 15. Experience with JasperGold or VC-Formal ** Preferred ... Qualifications:** Preferred Qualifications: 16. Experience to quickly understand and interpret specifications and extract design behaviors/properties 17. Experience in formal property verification of complex compute blocks like DSP, CPU, GPU or HW… more
- Meta (Austin, TX)
- …at the time of hire and maintain ongoing work authorization during employment ** Preferred Qualifications:** Preferred Qualifications: 11. Currently has, or is in ... Experience with High Performance Computing 16. Scripting experience with Python or Perl **Public Compensation:** $114,000/year to $133,000/year + bonus + equity +… more
- Meta (Austin, TX)
- …Assertions, Formal, Emulation. 12. Experience in EDA tools and scripting (Python, TCL, Perl , Shell) used to build tools and flows for verification environments. 13. ... Design Verification infrastructure and executing the full verification cycle. ** Preferred Qualifications:** Preferred Qualifications: 14. Experience in… more
- Meta (Austin, TX)
- …UVM/OVM based methodologies. 11. Experience in EDA tools and scripting (Python, TCL, Perl , Shell) used to build tools and flows for verification environments. 12. ... Design Verification infrastructure and executing the full verification cycle. ** Preferred Qualifications:** Preferred Qualifications: 13. Experience in… more
- Amazon (Austin, TX)
- …Amazon values diverse experiences. Even if you do not meet all of the preferred qualifications and skills listed in the job description, we encourage candidates to ... and test time - Experience with automation script development Preferred Qualifications - MS degree in EE, CE or...with SDF - Strong programming and scripting skills in Perl , Python or Tcl - Experience with industry standard… more
- Capgemini (TX)
- …audit, big data, cloud, cybersecurity, governance, information security, privacy, risk preferred ; AWS, Cloudera, GCP, GIAC, ISC2, ISACA * Excellent oral ... AWS, Cloudera, Docker, encryption, HashiCorp Vault, Kubernetes, Java, Linux, Perl , PKI, Protegrity, Python, secrets management, Thales/Vormetric, tokenization is… more
- Meta (Austin, TX)
- …Assertions, Formal, Emulation. 12. Experience in EDA tools and scripting (Python, TCL, Perl , Shell) used to build tools and flows for verification environments. 13. ... Design Verification infrastructure and executing the full verification cycle. ** Preferred Qualifications:** Preferred Qualifications: 14. Experience verifying… more
- Micron Technology, Inc. (Richardson, TX)
- …EMIB, etc is preferred + Handy scripting languages, including Python, Tcl, Perl , ACE, and shell is a plus + Experience with industry-standard tools such as ... of device physics and basic CMOS processing techniques and BSIM model preferred + Excellent problem-solving and analytical skills + Strong communication skills with… more
- Micron Technology, Inc. (Richardson, TX)
- …RTL debugging capabilities is a plus + Handy scripting languages, including Python, Tcl, Perl , ACE, and shell is a plus + Experience in frontend implementation tasks ... of device physics and basic CMOS processing techniques and BSIM model preferred + Past circuit debug experience through Product Engineering or equivalent … more
- Meta (Austin, TX)
- …C/C++ and Java, or experience with scripting languages such as Python, Perl , PHP, and/or shell scripts 16. Experience demonstrating technical leadership working with ... Computer Engineering, relevant technical field, or equivalent practical experience. ** Preferred Qualifications:** Preferred Qualifications: 19. Masters degree or… more