Irit Marek
Formal verification engineer at Speedata.io- Claim this Profile
Click to upgrade to our gold package
for the full feature experience.
-
Hebrew Native or bilingual proficiency
-
Spanish Native or bilingual proficiency
-
English Full professional proficiency
Topline Score
Bio
Credentials
-
Jasper Formal Fundamentals v2212 Exam
Cadence Design SystemsJun, 2023- Sep, 2024
Experience
-
Speedata.io
-
Israel
-
Semiconductors
-
1 - 100 Employee
-
Formal verification engineer
-
May 2023 - Present
-
-
-
Meta
-
French Polynesia
-
Law Practice
-
1 - 100 Employee
-
Web Developer
-
Nov 2021 - Jan 2023
- Maintaining and updating websites based on feedback from - clients- Collaboration with team members on projects and product needs- Excellent understanding of database principles, structures, theories and practices. - Independent learning of JavaScript, HTML, PHP, CSS, SQL. (Udemy courses)
-
-
Educational Material Creator
-
Aug 2020 - Nov 2021
Meta is a web system for learning and practicing mathematics, intended for middle and high school students.As part of this position, I was charge of:● Developing educational mathematical written content, forlearning and practicing purposes● Designing math graphic graphs and illustrations, using AdobeIllustrator & Adobe Photoshop● Proofreading content written by other writers
-
-
Education
-
2017 - 2021
The Hebrew University of Jerusalem
Bachelor of Science - BS, Mathematics -
2018 - 2019
Bezalel Academy of Art and Design
Photography
Community
