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

Fieldwire-el kapcsolatos feladatok, tervek frissítése, feladatok rögzítése, frissítése, fotódokumentáció Anyagbeszerzés és helyszínre szállítás Egyeztetések a többi szakággal, megrendelővel Kooperáción való részvétel Elosztóterveken a változások rögzítése (kimaradó, bekerülő eszközök,...

• 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;

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

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