Interested in formal methods, programming language design, or type theory? We are a low-code/no-code survey solution that reduces the time and complexity to create high-quality surveys. We are profitable and growing fast! You are a Full-Stack develo…

Want to see how formal verification techniques help businesses get more accurate answers? We are a low-code/no-code survey solution that reduces the time and complexity to create high-quality surveys. We are profitable and growing fast! You are a Fu…