Machine learning á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...

• A cégcsoport saját generálkivitelező entitásának teljes műszaki és operatív irányítása.
• Belső projektvezető és műszaki előkészítő, valamint külső projektvezetők, építésvezetők és előkészítők vezetése, beszámoltatása.

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