Automatizálási programozó állás, munka

• vállalati adatvagyonban rejlő információk kiaknázása
• részvétel banki folyamatok agilis IT támogatásának kialakításában
• ad-hoc lekérdezések elkészítése
• komplex SQL lekérdezések optimalizálása
• felhő alapú technológiák használata

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

Participate in a comprehensive training program to learn Microsoft Dynamics 365 development Collaborate with senior developers and architects on various projects Contribute to the design, development, and implementation of Dynamics 365 solutions Engage in problem-solving sessions to tackle complex...

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