Automatizálás programozó állások Budapesten (mérnök)

• A budapesti közösségi közlekedési viszonylatok szolgáltatási és közlekedési jellemzőinek meghatározása a stratégiai elvek mentén
• Kapacitástervezés és menetrendi, hálózati fejlesztések szakmai előkészítése, koordinálása
• Járatok optimalizálása a minél jobb utasélmény érdekében

• Jogszabályi és hatósági előírások alapján végzett mérések, felülvizsgálatok és rendszeres ellenőrzések ütemezése, elvégeztetése és dokumentálása;
• Alvállalkozói teljesítések ellenőrzése;
• Munkalapok digitális felületen történő rögzítése;
• Karbantartási ütemtervek nyomon követése;

A kb. 65–70 fős Hatóanyag analitikai fejlesztési főosztály irányítása. A fejlesztési analitikai laborok tevékenységének összehangolása a projekt időtervekkel, erőforrástervezés....

Szerviztevékenység szakmai támogatása Felvonók eseti hibaelhárítása Újonnan telepített és karbantartott berendezések beszabályozása Területes karbantartók támogatása és képzése Nagyjavítási munkákban való szakmai közreműködés Külföldi anyacégünk specialistáival való kapcsolattartá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...

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

Build and maintain simulation environments using NVIDIA Omniverse and Isaac Sim for robotic perception, manipulation, and navigation. Develop and integrate robotic behaviors and learning pipelines using Isaac Lab for reinforcement learning and motion planning. Create and manage OpenUSD-based...