Python állás, munka

• implementing and testing network theory and statistical algorithms
• participating in the documentation of research and development grant applications
• scientific literature search and processing
• communicating with research partners
• working according to ISO 9001 standards

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...

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...

Be involved in the design process of SoCs by integrating the latest Arm IP products while ensuring correct functional behaviour. Develop RTL code using System Verilog. Run EDA tools to check the design and analyze results. Identify and fix bugs. Work directly with engineers across the company to...

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...