דרושים » הנדסה » Formal Verification Engineer

Requirements:
Basic Qualifications:
- B.Sc. in Electric Engineering/Computer Science/Software Engineering or related field.
- 5+ years experience in software QA testing and Python/Bash/Lua scripting.
- Experience with test automation frameworks; Knowledge of software testing methodologies.
- Experience with Linux operating systems and debugging tools.
- System level understanding.

Preferred Qualifications:
- Experience with CI/CD pipeline implementation.
- Deep knowledge of server architecture
- Understanding of board design and electrical validation.
- Capability to read and review technical schematics and layouts.
- Experience in Compute/Embedded system development (ARM, x86, AMD).
- Proficiency with version control systems like Git.

Requirements:
MS or PHD in Electrical Engineering, Computer Engineering, or Computer Science.
Minimum of 10 years of proven design experience in complex processor projects.
Familiarity with the ARM architecture and the micro-architecture for current ARM CPU cores.
Software development (C, assembly).
Experience modeling microprocessors using higher-level languages, like C/C++.
Excellent verbal and written communication skills.
Co-operate and communicate well with the architecture team and other members of development team.
Interact with the Product System architects, software teams and ASIC chip teams to define the overall architecture of the Processor ASIC including memory hierarchy.
Travel to US, Beijing and ShenZhen sites may be required.
Good presentation and internal customer interaction skills
MINIMAL REQUIREMENTS
Solid understanding of general purpose CPU micro-architecture, including knowledge of areas such as processor pipelines, load store unit, caches, cache coherence, memory hierarchy, multi-processor, multi-thread processor systems.
Ability to make trade-offs between power, performance and area appropriately to meet the requirements of the product.
Hand-on experience with high power-efficient CPU core successfully.
Understanding of CPU instruction set architecture and assembly language.
Ownership of the overall verification methodology for a CPU project.

Requirements:
Basic Qualifications:
- Bachelor's degree in computer science or electrical engineering.
- 4+ years of experience with hands-on C and C++ programming.
- 4+ years of experience in networking protocols, mainly RDMA/Ethernet.
- 4+ years of experience with performance optimizations.

Preferred Qualifications:
- 4+ years of embedded firmware development experience.
- Experience with SoC development life cycle.
- Experience with virtualization technologies.

Requirements:
BSc in Engineering or Science (preferably Computer or Electrical).
Proven experience of at least 5 years as a development engineer (software or hardware) in multidisciplinary systems.
Minimum of 4 years of proven experience as a System Engineer in multidisciplinary systems, preferably in a regulated environment.
Proven experience in defining system requirements, architecture, and integration.
Strong communication skills and ability to lead technical discussions.
Experience with medical devices an advantage.

Requirements:
Basic Qualifications:
- BSc in Electrical Engineering or Electrical Engineering and Physics. Make sure to include a grade sheet with your CV, in a single PDF.
- Strong foundations in physics and electromagnetics.

Preferred Qualifications:
- Communication, Electromagnetics, Signal processing, Microelectronics.
- Previous experience with lab equipment (e.g oscilloscope, spectrum analyzer) is a strong advantage.
- Familiarity with simulation/extraction tools (e.g. HFSS, Sigrity, HSpice) - an advantage.

Requirements:
Basic Qualifications:
- At least 8 years of System Operations experience - managing Vendors engagement processes and operations (such as samples management, negotiating RnD expenses, etc).
- Leading new Vendor selection and qualification.
- B.Sc. in Engineering.

Preferred Qualifications:
- Experience with Mass Production.
- Experience with PCIe add-in cards or Mezz cards design or architecture.
- Experience with servers (x86 / ARM / Machine learning) design or architecture.

Requirements:
BSC, MS or PHD in Electrical Engineering, Computer Engineering, or Computer Science.
Good understanding of general purpose CPU micro-architecture, including knowledge of areas such as processor pipelines, load store units, caches, cache coherence, memory hierarchy, multi-processor, multi-thread processor systems, memory controller.
Good understanding of high speed digital VLSI design flow and methodology
Understanding of trade-offs between power, performance and area appropriately to meet the requirements of the product.
At least 6 years of experience in one of the leading CPU companies
Familiarity with the ARM\IA architecture and the micro-architecture for current ARM\IA CPU cores.
Software development (C, assembly).
Hands on experience as a Front end ASIC designer
DESIRED
Co-operate and communicate well with the architecture team and other members of the development.
Excellent verbal and written communication skills.
Travel to Beijing and ShenZhen sites may be required.
Good presentation and internal customer interaction skills.

Requirements:
BSC, MS or PHD in Electrical Engineering, Computer Engineering, or Computer Science.
Solid understanding of general purpose CPU micro-architecture, including load store unit, caches, cache coherence, memory hierarchy, multi-processor, multi-thread processor systems, memory technologies and memory controllers.
Ability to make trade-offs between power, performance and area to meet the requirements of the product.
Hand-on experience with high power-efficient CPU on chip interconnect, coherent fabric, memory controllers.
At least 8 years experience in architecture in one of the leading CPU companies
Experience modeling microprocessors using higher-level languages, like C/C++.
DESIRED
Co-operate and communicate well with the architecture and design teams.
Interact with the Product System architects, software teams and ASIC chip teams to define the overall architecture of the Processor ASIC including memory hierarchy.
Travel to Beijing and ShenZhen sites may be required.
Good presentation and internal customer interaction skills.