Shmuel Frankel

Formal Verification Engineer at Veriest

Shmuel Frankel has a diverse work experience spanning from 2014 to 2022. Shmuel began their career in the Israel Defense Forces as an IDF soldier, serving as a Staff Sergeant in the Golani brigade. During their service, they gained experience in shooting, machine gun operation, and participated in an experiment involving a grenade canon on armored vehicles.

After their military service, Shmuel joined FLL in 2019, where they worked as part of the FIRST LEGO League until 2020.

In 2021, Shmuel joined Cydome as a System Verification professional. Shmuel'sresponsibilities included preparing QA test documents, creating virtual web models, developing software training documents, and conducting GUI testing. Shmuel also gained experience working with microcontrollers such as Raspberry Pi and Linux.

Most recently, Shmuel joined Veriest in 2022 as a Formal Verification Engineer. Additional details about their role are not provided, but it can be inferred that they are involved in ensuring the correctness of designs through formal verification techniques.

Overall, Shmuel Frankel has developed a strong background in military service, system verification, and formal verification engineering throughout their career.

Shmuel Frankel pursued their education at Ariel University from 2018 to 2022, where they obtained an Engineer's degree in Electrical and Electronics Engineering. Prior to that, from 2013 to 2018, Shmuel attended Yeshivat Hesder "Birkat Moshe" in Maaleh Adumim, although no specific degree or field of study is mentioned for this period.

Links

Previous companies

Cydome logo

Org chart