Informatika állás, munka

• Gyengeáramú rendszerek kiépítésében való részvétel (Hangrendszer, Evakuációs hangrendszer, AV rendszer, Tűzjelző, CCTV, Beléptető stb.)
• Nyomvonalépítés, kábelezés,
• Eszközök felszerelése, telepítése, beüzemelése
• A kiépített rendszerek ellenőrzése és karbantartása
• Hétköznap 9:00-17:00
• Heti 2-3 nap

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

Be involved in System IP microarchitecture specification and design Participate 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...

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