Very deep knowledge of software and hardware interaction.High Level programming in several compiled languages:Assembly (almost all architectures), C, C++.Low level hardware description languages: VHDL, Verilog, and SystemC.Software development processes for airborne systems: DO-178B/C.Automotive processes: ISO26262, IEC61508.Hardware processes for airborne systems: DO-254.AUTOSAR / OSEK.Deep knowledge of UNIX systems. Linux Kernel Internals, core and driver development. Author of Linux Kernel port to ZPU processor. Author of several proven hardware microprocessor and SoC designs, including design, implementation and verification. Design and implementation of ZPUino (an Arduino-like core but 32-bit, programmed using Arduino standard tools),.Deep knowledge of Digital Electronics, in ASIC/FPGA and discrete [RTL].Brainbench certification in C (2009/09)Brainbench certification in C++ (2009/09)Specialties: Hardware developmentFPGA/CPLD/ASICLinux KernelWishboneAMBA/AHB/APBSPII2CCAM (Content Addressable Memory)Many FPGA vendor chips (Xilinx, Altera, Lattice, ...)Network Protocols: ATM, HDLC/SDLC.Microcontrollers (AVR/Microchip/TI-MSP320).ARINC protocols: A717, A825, A429ARMv7, Cortex-A9 multicore and TrustZone(TM), as implemented on Freescale iMX.6 Quad processors.USB (eHCI/xHCI).Smart Metering Infrastructure. ZigBee SEP 1.2, SMETS2 [DLMS, ASN1, ZigBee]. Working on GB SMIP.