Software Engineer | Fullstack

Formal is on a mission to build the best engineering team and we’re looking for people who want to make outsized impact on shaping the product and building the company.

Our ideal candidate has a deep understanding of building scalable systems, a strong sense of ownership, and enjoys owning projects from inception to scaling it in production.

Our tech stack currently involves Typescript, NextJS, Shadcn, Vercel, and Golang, * Continuously improve the performance and reliability of our frontend application by optimizing code and identifying areas for enhancement.

• Enhance existing features by incorporating user feedback and implementing improvements to usability and design.
• Take ownership of the frontend architecture, ensuring scalability, maintainability, and adherence to best practices.
• Lead any initiative you think may have a strong impact on Formal.

Software Engineering, Production Systems, Security Infrastructure, Network Security, Artificial Intelligence (AI), Application Programming Interface (API), Quality Management, Data Quality, Information/Data Security (InfoSec), Problem Solving Skills, * Relevant software development experience building data-intensive software platforms

• Strong expertise in a modern framework (e.g. React, Vue.js) and proficiency with some backend language (we use Go)
• Experience with streaming data processing frameworks such as Apache Kafka and Google Pub/Sub
• Some experience with underlying infrastructure primitives like Kubernetes and Terraform
• Experience in building scalable, responsive, and cross-browser compatible web applications
• Solid understanding of frontend development principles, including testing, performance optimization, code modularity, and accessibility
• Strong problem-solving skills and the ability to tackle complex technical challenges with innovative solutions
• Excellent collaboration and communication skills, with the ability to work effectively in cross-functional teams, * Early engineer at a hyper-growth startup.
• Extensive experience designing applications on Figma
• Experience contributing to a design framework
• Experience with UI/UX and product design

Formal is building a network security platform for the AI era. As agents gain access to sensitive data and production systems, organizations need control over the actions they take and the data they receive. We enforce those controls directly in the network path, with a shared policy layer for humans and agents across databases, infrastructure, APIs, and AI tools.

We are trusted by leading companies such as Cursor, Decagon, Notion, and more to solve problems across data security and compliance, data quality management, and infrastructure access.

Formal is backed by top-tiers VCs including Thrive Capital and Y Combinator with angel investors that include executives and founders from Datadog, Clickhouse, Plaid, and Vanta.