Tools engineer á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...

Help analyze networking software running on Arm platforms by identifying performance bottlenecks across software, microarchitecture, and architecture. Contribute performance optimizations to open-source projects and support tools used for architectural exploration and analysis. Work with customers...