Python fejlesztő állások X. kerületben (automatizálás)

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

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

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

Manage the end-to-end release process, including branch management, software version control, release note documentation, and clear communication with internal and external collaborators. Drive release automation by enhancing CI/CD pipelines, defect logging and tracking for releases....

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

Lead micro architecture and RTL implementation for SoC design Be responsible for the micro-architecture and RTL design of a sophisticated digital subsystem or IP integration into SoC design Translate system requirements into clean, scalable RTL micro architectures including Interface definition,...

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

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