-
- Teljes munkaidő • Kötött munkarend • Alkalmazotti jogviszony
-
Nem kell tapasztalat • Angol középfok
Főbb feladatok- 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
feladva: Október 01. -
- Teljes munkaidő • Kötött munkarend • Alkalmazotti jogviszony
-
Windows
-
Pályakezdő/friss diplomás • Angol középfok
Főbb feladatok- System IP microarchitecture specification and design
- SystemVerilog RTL verification and debug
- Formal bring-up of non-trivial IP blocks to achieve required quality levels
feladva: Október 03.
Mentsd el szűrési feltételeidet későbbre!
-
Python
-
Programmer
-
Mérnök
-
Elektromérnök
-
Budapest