Mérnök munkatárs á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...

Design, develop, and maintain scalable web applications and backend services to support trading operations. Collaborate with cross-functional teams including traders, product managers, and other engineers to define requirements and deliver solutions. Implement and optimize high-performance APIs,...

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

Shape engineering strategy with broad organizational impact, influencing long-term architectural direction across multiple teams and products. Drive platform evolution, identifying common pain points and leading scalable, reusable solutions across systems. Engage in deep architectural discussions,...

Shape engineering strategy with broad organizational impact — influence long-term architectural direction 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...

Create robust, scalable, and secure microservices that power our SaaS platform for governance Leverage AWS (serverless or migrations) with TypeScript Own services end-to-end (code, deployment, monitoring) Drive architecture discussions Regularly demo to the department Shape AI strategy by leading...