דרושים » תוכנה » מתקשים למצוא את מקומכם במצב השוק הנוכחי? אינפיניטי פותחת לכם את הדלת להייטק

Our EyeQ Platform Group (EPG) is seeking a motivated Formal Verification Engineer to join our team and contribute to development of hardware verification environments.
This position offers an opportunity to apply formal methods to verify the correctness of various complex digital systems.
This is an exciting opportunity to join a team of talented engineers, working cutting edge technologies in the field of autonomous vehicle.
What will your job look like:
Be the owner of formal verification environment from first draft to sign-off stage
Apply formal methods to verify the correctness of various complex digital systems
Work with HW architects\designers to define assumptions, rules and cover properties
Help define the formal verification methodology and environment to be applied by the team
Explore new Formal methods and Tools
Work with tools like Cadence JasperGold, Verisium manager, Xcelium, Indago
Analyze verification results, identify bugs, and collaborate with engineers to resolve design issues
Develop generic formal blocks\functions of commonly used logic, to be later used off the shelf.

Our RADAR VLSI Team is looking for an Embedded SW Engineer for SystemC Modeling that include Performance and Program view Modeling. You will be part of VLSI emulation team , working on current and next-generation designs for next generation sensors.
The SystemC models are fundamental parts of the VLSI chip infrastructure, they are used during HW architecture definition phase and by SW developers for system shift left.
What will your job look like:
You will work on Critical performance analysis and optimizations on the ASIC micro architecture as multi-NOC , DDR and CPU .
You will work on developing SystemC models that describe the RTL models on High level language and enable true system . level shift left for the embedded SW team.
You will have the opportunity to work on state-of-the-art simulation and profiling tools and adopt them to our needs.
You will work closely with HW architects and SW/Algorithms developers.

We are seeking for System Integration Engineer to help define, shape, and integrate solutions for the next generation of our cloud platforms. As System Integration Engineer youll join Annapurnas product system team, which develops advanced technologies used across AWS data centers, supporting services like Nitro and Graviton. You will take ownership of end-to-end system interfaces (e.g., PCIe, Ethernet, DDR) throughout the product lifecycle, from concept to post-deployment debugging.

Key job responsibilities:
1. Setting interface design strategies.
2. Ensuring optimal design implementation.
3. Driving complex system debugs involving hardware, firmware, and software components.
4. Providing leadership to raise quality standards.