Formal Verification Engineer

knowledge of SoC/CPU/GPU/Cellular designs, VLSI, and digital logic design and verification techniques Developed formal property... specifications and using Temporal logic assertion-based languages such as SVA or PSL Experience in using EDA formal tools and tool...

Lugar: Cupertino, CA | 18/10/2024 23:10:54 PM | Salario: S/. $121900 - 183600 per year | Empresa: Apple

Custom Automation CAD Engineer

, simulations, power EM analysis, signal EM analysis, logic equivalency checks (LEC), and signoff. The successful candidate...

Lugar: Sunnyvale, CA | 17/10/2024 20:10:31 PM | Salario: S/. $121900 - 183600 per year | Empresa: Apple

CPU Implementation Engineer

(PPA) trade-offs • Participate in RTL-to-GDS design convergence through microarchitecture and logic (RTL) optimizations... Minimum Qualifications Minimum Qualifications Minimum BS Must have coursework in logic design and digital circuits Must have coursework...

Lugar: Santa Clara, CA | 17/10/2024 17:10:16 PM | Salario: S/. $121900 - 183600 per year | Empresa: Apple

Wireless RTL Design Engineer

degree is required. Have taken relevant courses such as DSP/wireless communications/machine learning and VLSI logic design.... Understanding of DSP communication algorithms and trade-offs between performance and complexity. Good knowledge in modern logic...

Lugar: Sunnyvale, CA | 15/10/2024 20:10:48 PM | Salario: S/. $121900 - 183600 per year | Empresa: Apple

Marklogic Developer (Senior)

logic written in xquery. Based in a DevOps framework, participate in and/or direct major deliverables of projects through...

Lugar: Reston, VA | 12/12/2024 03:12:50 AM | Salario: S/. $101400 - 183300 per year | Empresa: Leidos

Marklogic Developer (Senior)

logic written in xquery. Based in a DevOps framework, participate in and/or direct major deliverables of projects through...

Lugar: Cabin John, MD | 12/12/2024 03:12:04 AM | Salario: S/. $101400 - 183300 per year | Empresa: Leidos

Marklogic Developer (Senior)

logic written in xquery. Based in a DevOps framework, participate in and/or direct major deliverables of projects through...

Lugar: Merrifield, VA | 12/12/2024 03:12:56 AM | Salario: S/. $101400 - 183300 per year | Empresa: Leidos

Marklogic Developer (Senior)

logic written in xquery. Based in a DevOps framework, participate in and/or direct major deliverables of projects through...

Lugar: Centreville, VA | 12/12/2024 03:12:13 AM | Salario: S/. $101400 - 183300 per year | Empresa: Leidos

Marklogic Developer (Senior)

logic written in xquery. Based in a DevOps framework, participate in and/or direct major deliverables of projects through...

Lugar: Fairfax, VA | 12/12/2024 03:12:11 AM | Salario: S/. $101400 - 183300 per year | Empresa: Leidos

Software Engineer

and, where appropriate, use of test automation commercial tools. There are a range of opportunities for server-side business logic...

Lugar: Annapolis Junction, MD | 12/12/2024 03:12:55 AM | Salario: S/. $101400 - 183300 per year | Empresa: Leidos