Python programmer á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...

Contribute 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 modelling, validation, and implementation to meet all functional...

Leading a high-performing QA team of up to 5 engineers Working with software teams to establish and implement quality processes in every stage of the development cycle Test development for firmware and Linux-based systems (kernel, device drivers and applications) Test and workload automation with...

Implement and maintain large‑scale data pipelines and the Azure/Databricks data platform in close collaboration with the Architect, contributing to design discussions and proposals. Build robust, scalable pipelines using Azure Databricks (PySpark / SQL), integrating data ingestion, processing,...

Design, develop, deploy, monitor, scale, and troubleshoot ML and LLM-based systems that power services across our platform. Build automated AI testing and evaluation frameworks. Collaborate with Applied Scientists and Software Engineers to implement and productize AI-based capabilities. Shape and...

Implement and maintain large‑scale data pipelines and the Azure/Databricks data platform in close collaboration with the Architect, contributing to design discussions and proposals. Build robust, scalable pipelines using Azure Databricks (PySpark / SQL), integrating data ingestion, processing,...

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

• AI-alapú funkciók integrálása meglévő rendszerekbe
• Adatbázisok tervezése, fejlesztése és karbantartása
• Backend rendszerek fejlesztése és optimalizálása
• Adatfeldolgozó és riportáló megoldások készítése
• Technológiai újdonságok követése és prototípusok készítése

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