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

Shape engineering strategy with broad organizational impact across multiple teams and products Drive platform evolution by identifying cross-cutting pain points and leading the design of secure, scalable, reusable solutions built on AWS and modern serverless and microservice patterns Lead...

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

Developing scalable library software using modern tools and languages for various numerical method. Performance tuning, optimization, and benchmarking of algorithms on various architectures. Working closely with leadership team and other internal and external partners to understand feature and...

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