דרושים » חשמל ואלקטרוניקה » Senior Verification Engineer

Requirements:
Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related field, or equivalent practical experience.
5 years of experience with digital reasoning design principles, Register-Transfer Level (RTL) design concepts, and languages such as Verilog or SystemVerilog
Experience with reasoning synthesis techniques to optimize RTL code, performance and power with low-power design techniques.
Experience with design sign-off and quality tools (e.g., Lint, CDC, etc.).
Experience in reasoning design and debug with Design Verification (DV).

Preferred qualifications:
Experience in coding languages like Python or Perl.
Knowledge of high performance and low power design techniques.
Knowledge of assertion-based formal verification.
Knowledge of System-on-a-Chip (SoC) architecture.
Knowledge of PCIe, UCIe, DDR, AXI or ARM processors.

Requirements:
BASIC QUALIFICATIONS:
- BSc in Electrical Engineering or Computer Engineering.
- 8+ years of experience in at least one of the following domains: Power analysis and optimization, Logic design, Backend design, Chip Verification.
- Deep understanding in the domains of your previous expertise and a sound understanding of overall chip design cycle.

PREFERRED QUALIFICATIONS:
- Ability to handle multidisciplinary tasks that require knowledge in different chip design domains.
- Strong communication skills and ability to effectively communicate and cooperate with other teams to complete tasks.
- Proficiency in one or more of the following programming languages: C, Python, Perl.
- Team player, with the ability to work in a rapidly changing environment.

Requirements:
BASIC QUALIFICATIONS:
- B.Sc. in Electrical / Computer / SW Engineering or related field.
- At least 10 years Design / Integration / HW System engineering Experience in at least one area - HW / FW / SW.
- 3+ years experience working with systems and experience with their SW, FW and HW components.
- Basic skills in scripting: Python / Bash etc.
- Experience in big data analysis , large scale analysis.

PREFERRED QUALIFICATIONS:
- Computer architecture knowledge.
- High-speed interfaces knowledge and debug capabilities- PCIe, Ethernet, DDR etc.
- Experience with server (x86 / ARM) design or architecture.
- Experience with operating systems, boot loaders, networking, and remote debugging.

Requirements:
Bachelor's degree in Electrical/Computer Engineering, Computer Science, related field, or equivalent practical experience.
Experience with functional tests for silicon validation, (i.e., writing C or C++) or developing firmware, and embedded software.
Experience in silicon bring-up, functional validation, characterizing, and qualifying silicon.

Preferred qualifications:
Experience with board schematics, layout, and debug methodologies using lab equipment.
Experience with hardware prototyping, including hardware or software integration (e.g., pre-silicon use of emulation, software-based test, and diagnostics development, etc.).
Experience with scripting (e.g., Python) for automation development.
Experience in launching design, verification, or emulation.
Knowledge of SoC architecture, including boot flows.

Requirements:
BSc in electrical engineering, computer engineering or computer science.
5+ years development experience in embedded C++.
3+ years System Validation experience.
Ability to read complex HW specifications and define a series of tests based on them.
Experience working in multi-core environments.
Experience working with real-time OS and bare metal device drivers.
Developing experience in python - advantage.
Experience with Embedded systems and driver development - advantage.
A "Can Do" attitude .
*The role requires one day in the Petah Tikva office, one day remote, and the remainder of the week in Haifa.

Requirements:
Bachelor's degree in Electrical Engineering, Computer Science, or equivalent practical experience.
5 years of experience in technical leadership, leading project teams, or setting technical direction.
Experience in managing Design Verification (DV) team.
Experience in verification methodologies, tools, and techniques.
Experience creating chip or subsystem design verification strategies and plans.

Preferred qualifications:
Master's degree or PhD in Electrical Engineering or Computer Science, or a related field.
Experience with verification techniques, and full verification life cycle.
Experience in verification of IP/SoC/ASIC.
Experience with Universal Verification Methodology (UVM), SystemVerilog, or other scripting languages (e.g., Python, Perl, Shell, Bash, etc.).
Experience with ARM instruction set architecture or processor microarchitecture.
Experience in leading teams and delivering projects.

Requirements:
BASIC QUALIFICATIONS:
* Minimum of 8 years of experience with vulnerability testing and auditing techniques.
* Experience with red teams or CTF (Capture The Flag).
* Deep knowledge of Embedded systems, Operating Systems, ARM technology, SOC, Embedded SW, HW and Silicon security is a must.
* Familiarity with hypervisor technologies such as KVM, Xen
* Ability to create threat-models for complex systems and recommendation of mitigations.
* Experience with multiple programming languages (such as, C, C++, Assembly) and scripting languages (such as, Python, Ruby, Perl, etc.).
* Demonstrable experience with security tool development such as fuzzers, security checkers.
* Advanced knowledge and understanding of security engineering, system and network security, authentication and security protocols, cryptography, and application security.
* Familiarity with our services.
* Security training and outreach to internal development teams.
* Security guidance documentation.
* Assistance with recruiting activities.
* MSC/MEE in Computer Science/Electrical Engineering, or equivalent work experience.

PREFERRED QUALIFICATIONS:
* Experience with reverse engineering.
* Experience with driving large, company-wide initiatives.
* Demonstrable teamwork skills and resourcefulness.
* Sharp analytical abilities and proven design skills.
* Meets/exceeds Amazons leadership principles requirements for this role.
* Meets/exceeds Amazons functional/technical depth and complexity for this role.

Requirements:
BSc in Computer-Science, Computer Engineering or Electrical Engineering.
5+ years of experience on SystemC Modeling -Must
5+ years of experience in embedded SW.
knowledge in shell scripting and Python.
Strong communication, co-working, and listening skills.
Experience working with Synopsys tools as Power architect and Virtualizer Advantage.
Knowledge in assembly languages and hardware design aspects Advantage.

Requirements:
B.Sc/M.Sc or higher degree in Software/Computer Engineering
10+ years of experience in SW development
Demonstrated proficiency in C/C++ programming.
Knowledge of various application domains, including HW and SW.
5+ years of experience in code-based automation, code coverage, performance, and memory profilers.
Preferred Qualifications:
Prior work with automotive System-on-Chip (SoC) technologies.
Experience with Linux.
Experience with Cloud - (preferred AWS).
Experience with Docker
Experience with Python.

Requirements:
Bachelor's degree or equivalent practical experience.
5 years of industry experience with systems and debugging.
5 years of experience in ATE tools, flows, and methodologies.
Experience in ATE test development, from DFT/Design Verification (DV) to ATE (e.g., Reset, Automatic Test Pattern Generation (ATPG), Memory Built-In Self Test (MBIST), or functional content development to ATE patterns).
Experience in ATE test method library development - taking ATE low level drivers and developing automated solutions.

Preferred qualifications:
Proficiency in code and system health, diagnosis and resolution, and software test engineering.
Understanding of object oriented programming and functional programming.
Excellent software skills and design practices