About us:
Low-code/no-code (LCNC) platforms are placing more power than ever in the hands of business professionals, allowing them to address their own needs rather than wait for IT. Unfortunately, it also opens the door for hackers and costly mistakes. Zenity is the first security platform to help organizations adopt low-code/no-code development without compromising security governance, pioneering this brand new area of security. We have recently secured $16.5 million in Series A funding, led by the prestigious Intel Capital. This significant investment underscores our commitment to leading the charge in securing low-code/no-code development practices, and it paves the way for us to scale our operations, enhance our technology, and expand our team.
About the job:
As a Formal Verification Engineer in the CTO group at Zenity, you will play a pivotal role in ensuring the security and reliability of our low-code/no-code platform. You will be at the forefront of our mission to safeguard organizations adopting LCNC development practices. This position offers a unique opportunity to contribute to cutting-edge security solutions and be a key player in shaping the future of secure LCNC platforms. Help shape the future of LCNC security and contribute to the growth of a company that is redefining the industry.
Responsibilities:
Requirements: