Network állások Budapesten (mérnök)

Use formal verification algorithms to formally prove the correctness of complicated logic problems Identify key behaviors for verification to write clear testplans for complex designs Implement testplans using innovative formal techniques Drive tools to realize their best performance Develop flow...

Develop and execute test plans and verification methodologies for SoC-level designs. Complete functional verification to the required quality standards and schedules. Collaborate with project leads and management on planning, scheduling, and quality checkpoints. Ensure progress and quality of SoC...

Creating and maintaining detailed, comprehensive and well-structured test cases and test documents Working closely with the development team and ensure the highest standards of product quality Estimating, prioritizing and planning testing activities Conducting tests of our software applications...

Review SoC solution architectures and develop micro-architecture specifications. Implement RTL designs, identify and fix bugs, perform design checks, generate power intent, and support implementation constraint creation. Collaborate with verification teams to review test plans and debug design...

Contribute to System IP microarchitecture specification and design Contribute in SystemVerilog, C and C++ to verification, modelling and debug to achieve required quality levels (SystemVerilog/UVM, C, C++, scripting) Propose and prototype new ways and define methodologies to reach goals more...

Contribute in SystemVerilog RTL verification and debug; formal bring-up of non-trivial IP blocks to achieve required quality levels (SystemVerilog/UVM, Formal, scripting) Work closely with engineers across design, performance modelling, validation, and implementation to meet all functional...

A Kutatás és Fejlesztési projektek végigkövetése a tervezéstől az átadásig Beágyazott vezérlők programozása C nyelven Prototípus berendezések beüzemelése, tesztelése Gépész-, villamos- és mechatronikai mérnökökkel való együttműködés Dokumentáció írás angolul és magyarul Szoftver- és hardvertesztelés...

Be involved in System IP microarchitecture specification and design Participate in SystemVerilog RTL verification and debug; formal bring-up of non-trivial IP blocks to achieve required quality levels (SystemVerilog/UVM, Formal, scripting) Work closely with engineers across design, performance...

Build and maintain simulation environments using NVIDIA Omniverse and Isaac Sim for robotic perception, manipulation, and navigation. Develop and integrate robotic behaviors and learning pipelines using Isaac Lab for reinforcement learning and motion planning. Create and manage OpenUSD-based...

PLC programming in the most recently used technology-dependent programming languages Configuring of PLCs and other industrial devices following the client specifications Supporting SCADA/HMI specific solutions Virtual commissioning for validation of PLC/SCADA solutions Using 3rd party tools for...