Osama Ayoub

Formal Verification Engineer at LUBIS EDA

Osama Ayoub is a formal verification engineer currently employed at LUBIS EDA since October 2022, with a background in SoC design and formal verification through project work as part of a master's degree. Previously, Osama worked as a scout at Stats Perform since October 2015, a research assistant at SmartFactory Kaiserslautern from February 2022 to March 2023, and an automation engineer at Volt Automation from February 2020 to August 2021. Additional experience includes a bachelor's thesis role at Siemens Healthineers in 2018 and participation in the Young Innovation Fellowship. Osama holds a master's degree in Embedded Systems from RPTU Kaiserslautern-Landau (2021-2023) and a bachelor's degree in Mechatronics Engineering from German Jordanian University (2014-2020), with additional studies at TH Aschaffenburg University and The University of Freiburg.

Location

Kaiserslautern, Germany

Links

Previous companies


Org chart

No direct reports

Teams

This person is not in any teams


Offices