Formal Verification engineer @ (January 2022 - August 2022)
Student Engineer @ Gila Logic (November 2020 - September 2021)
Menachem Rappaport Education
Lev Academic Center (JCT) (Jerusalem College of Technology )
Bachelor of Science - BS (Computer Science)
2019-2022
Menachem Rappaport Skills
Formal Verification
Verilog
SVA assertions
Python (Programming Language)
Object-Oriented Programming (OOP)
Algorithms
Linux
Git
Jira
C++
C (Programming Language)
Programming
Hebrew
English
Creative Problem Solving
Personal Responsibility
Interpersonal Relationships
Menachem Rappaport Summary
Menachem Rappaport, based in Israel, is currently a Formal Verification engineer at Veriest. Menachem Rappaport brings experience from previous roles at Veriest and Gila Logic. Menachem Rappaport holds a 2019 - 2022 Bachelor of Science - BS in Computer Science @ Lev Academic Center (JCT) (Jerusalem College of Technology ). With a robust skill set that includes Formal Verification, Verilog, SVA assertions, Python (Programming Language), Object-Oriented Programming (OOP) and more. Menachem Rappaport has 2 emails on RocketReach.
Looking for a different Menachem Rappaport?
Find contact details for 700 million professionals.