Python állás, munka

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

Integrate IPs and develop logic for subsystems Understand and review subsystem architecture Develop microarchitecture specifications Review verification test plans Help debug and fix issues Work with performance analysis team to evaluate and improve system performance Understand incoming IPs, their...

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