Formal Verification Engineer

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:

Formal Verification: Utilize expertise in Formal Methods and Programming Languages to conduct rigorous formal verification of our LCNC platform, ensuring it meets the highest security standards.
SMT Solver Expertise: Work with SMT Solvers, specifically Z3 and KLEE, to model, analyze, and verify the security properties of our software.
Alloy Modeling: Employ Alloy to create formal models of system specifications, assisting in the identification and resolution of potential vulnerabilities.
Collaboration: Collaborate with cross-functional teams to integrate formal verification processes into the software development life cycle, ensuring security-by-design principles.
Research and Development:** Stay abreast of the latest advancements in formal methods, security protocols, and LCNC technologies, contributing to the continuous improvement of our security platform.

Requirements:

Requirements:

Master's degree in Computer Science, Mathematics, or Physics.
Background in Formal Methods and Programming Languages.
Technical Skills: Proficiency in SMT Solver tools such as Z3 and KLEE. Experience with Alloy modeling is a plus.
Security Awareness: Deep understanding of security principles, especially in the context of low-code/no-code development.
Innovation: Proven ability to think creatively and contribute to innovative solutions in the field of formal verification.
Excellent analytical, logical reasoning and problem-solving skills.
Strong debugging and analytical skills.