C engineer állások V. kerületben (it programozás, fejlesztés)

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

Design, develop, and maintain components of the deployment stack and software kernels for AI compute platforms Optimize and implement core ML operators (e.g., GEMMs, convolutions, BLAS routines, SIMD kernels) Translate computational graphs from ML frameworks onto the underlying hardware Contribute...

Write and maintain clean, reusable, high-quality scripts that test product functionality automatically Contributing to bug finding and error reporting Contributing to the continuous improvement of automation frameworks/tools Preparing detailed test reports Take part in brainstorming to come up with...

Munkakörhöz tartozó feladatok ellátása....