C software developer állások Budapesten (speciális mérnöki területek)

Formal verification algorithms usage to prove correctness of complicated logic problems Identification of key behaviors for verification and writing clear testplans for complex designs Implementation of testplans using innovative formal techniques Driving tools to realize their best performance...

Implementation of safety mechanisms and diagnostics Low-level driver development Register-level development Interrupt handling Memory and peripheral diagnostics Watchdog management Clock, reset, and power supervision Implementation of startup/runtime diagnostics Fault detection and handling Robust...