Digital project menedzser á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...

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

Manage a team of highly skilled engineers focusing on accelerated data processing solutions development Lead and motivate team to conduct projects meeting internal and external customer needs Collaborate with deep learning software engineering community to contribute to and improve open source code...

Developing innovative solutions that advance AI/ML systems for mobility services. Conducting applied research in Agentic AI, including agent design, orchestration strategies, tool integration, and communication protocols. Conducting research on AI safety and alignment topics. Identifying research...