Software developer á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...

• automatikusan frissülő, döntéstámogató riportok, DashBoard-ok készítése;
• beszállítói bónusz elszámolását, adatminőség ellenőrzését segítő riportok kialakítása;
• felsővezetői, Felügyelő Bizottsági riportok üzemeltetése;
• manuális folyamatok, nyilvántartások kiváltása, automatizálása;

• Vevői igények menedzselése: Az ügyfél elképzeléseinek fordítása műszaki nyelvre és azok kivitelezésének felügyelete.
• Projekt koordináció: A belsőépítészeti tervek és a kivitelezési munkák ütemezése, összehangolása.
• Műszaki felügyelet: A helyszíni munkák (fit-out) ellenőrzése, minőségbiztosítás.

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

Design, ship, and own production‑grade agentic systems that solve real enterprise problems Take technical ownership of Compliance in a Box (CiaB) — a flagship AI platform reshaping how organisations manage governance, risk, and compliance at scale Architect and evolve the AI reasoning layer and...

• A bank informatikai műveleteinek, infrastruktúrájának, biztonsági műveleteinek és felügyeleti képességeinek megismerése
• Szoros együttműködés a SOC elemző kollégákkal
• Biztonsági detekciós logikák és use-case-ek tervezése, fejlesztése és finomhangolása

Guiding customers in their adoption of NVIDIA's compute, networking, and software stacks to deliver end-to-end GenAI and Agentic AI solutions Delivering demos, assisting with proof-of-concepts, writing papers and developer blogs Collaborating with executives and engineering to solve complex...

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

Build and maintain simulation environments for mobile robotic perception and navigation. Develop and integrate robotic behaviours and learning pipelines for reinforcement learning and motion planning in complex outdoor environments. Collaborate with cross-functional teams to validate robotic...