Infrastructure Engineer
AI-mentionedSeniorFull-time
cursorPythonGoRustLinuxAWS+4
.·-·
·#*:
::*#
#+-+
=#+-+#+-+**::*
-+#*::**::*#·-
*::*#·-·#·-·..
·#·-·.........
..#·-·#·-·**
·-·**::**::+
**::*#+-+#+-
-+#+-+======
5 open roles
Formal builds a network security platform that enforces access and data-handling policies for both humans and AI agents across databases, infrastructure, APIs, and AI tools. It's a venture-backed startup (Thrive Capital, Y Combinator) whose customers include Cursor, Decagon, and Notion, focused on data security, compliance, and infrastructure access control.