Role Description Transform raw signals into actionable intelligence. Build the pipelines that turn chaos into clarity. At detections.ai, we believe that great detection starts with great data. We're looking for a data engineer who doesn't just move bytes—but architects the intelligence infrastructure that helps security teams see threats before they strike. This is your chance to build the data foundation that powers the future of threat detection. You’ll Own: - Backend services end-to-end – from first design sketch to production deployment. - High-throughput data pipelines that transform messy security telemetry into clean, enriched streams. - Integrations with SIEMs, EDRs, and security platforms that make our product the connective tissue of the modern security stack. - Cross-team collaboration with frontend, AI, and detection engineers to ensure data becomes truly actionable. - Core architecture and APIs that other engineers (and customers) will build on every day. Qualifications - 5+ years building and scaling backend systems that handle real-world complexity. - Fluent in Python (FastAPI preferred) and cloud-native development on AWS or GCP. - Can design data models and transformation logic for complex, real-time workflows. - Build with resilience, security, and performance as first principles. - Thrive in a high-context, low-process environment where speed and ownership matter. Requirements - Hands-on experience with SIEMs, SOARs, detection pipelines, or IR tools. - Experience with event streaming/orchestration systems (Kafka, Kinesis, Airflow). - Understanding of security-first architecture (RBAC, audit logs, multi-tenancy). - Experience building on OpenSearch or DynamoDB for large-scale, fast data access. Tech Stack - Frontend: React.js, Tailwind CSS, TypeScript - Middle Layer: Node.js, TypeScript - Backend: Python (FastAPI) - Infra & DevOps: AWS, GCP, Docker, Terraform, GitHub Actions - Data: OpenSearch, DynamoDB - AI Agents: Gemini, Anthropic, OpenAI - Tooling: Figma, Storybook, CI/CD pipelines Benefits - Remote-first with meaningful equity - Build for real users: Work side-by-side with detection engineers. - Own meaningful problems: Architect the systems that make detections possible. - Move fast without red tape: Small, high-context team with outsized impact. - Shape product and culture: Your work is foundational to the company’s success.

Role Description The Analytics team is responsible for building and maintaining data pipelines and dashboards that provide relevant and actionable information for customers and internal data products. The team's core objective is to build reliable and insightful data products from raw data consumption to dashboard delivery. As an Analytics Engineer, you will: - Build data products by designing, building, and maintaining robust data pipelines and dashboards. - Work closely with data analysts, data scientists, and business stakeholders to ensure data quality and optimize data workflows. - Enable self-service analytics, driving data-informed decision-making across the organization. Qualifications - Degree in Computer Engineering, Data Science, Statistics, Computer Science, or a related field. - 2+ years of experience in Data Science or Analytics. - Strong understanding of SQL for data modeling and experience with database management systems such as PostgreSQL and Clickhouse. - Strong understanding of data warehousing concepts and experience with ETL tools (e.g., Airflow, dbt). - Experience with BI tools (e.g., PowerBi, Looker, Tableau). - Experience with cloud-based data platforms like AWS Redshift. - Experience with programming languages such as Python. - Excellent communication skills, with the ability to convey complex technical concepts to non-technical stakeholders. - Advanced/fluent Portuguese. Requirements - Develop and maintain scalable data pipelines and ETL processes to transform raw data into usable formats. - Design, implement, and optimize data models to support reporting and analytical needs. - Collaborate with business stakeholders to understand business requirements and translate them into technical specifications. - Ensure data quality and consistency across various sources by implementing data validation and cleansing techniques. - Work with cloud-based data warehouses and analytics platforms to manage and store large datasets. - Monitor and troubleshoot data pipelines to ensure reliable and timely delivery of data. - Document data processes, workflows, and best practices to enhance team knowledge and efficiency. - Create dashboards as data products for internal or external use. Benefits - Competitive salary and stock options. - 30 days of paid annual leave. - Education and courses stipend. - Earn a trip anywhere in the world every 4 years. - R$1.035/month for meals allowance. - Health plan with national coverage and without coparticipation. - Dental Insurance: we help you with dental treatment for a better quality of life. - Wellhub and Sports Incentive: R$300/mo extra if you practice activities.

Role Description You’ll contribute to formal verification efforts for a new low-level programming language. Expect to architect, write, and review formal specifications and complex mechanized proofs in Rocq. You will work closely with engineering teams to extract correct-by-construction software from mechanized proofs. Responsibilities - Lead the design, development, and maintenance of mechanized theorems and proofs in Rocq. - Collaborate closely with the compiler and OS teams to understand design goals, define formal specifications, and integrate verification into the development lifecycle. - Participate in both sides of code reviews. - Actively anticipate and communicate future roadblocks. Qualifications - Advanced degree in formal methods or programming languages or equivalent practical experience. - Deep expertise and extensive practical experience with Rocq and its ecosystem (tactics, libraries, automation). - Experience leading or contributing to complex formal verification projects such as compilers or OS kernels. - Ability to formally articulate, reason about, and verify low-level security, safety, and correctness properties of programming languages like Rust and C/C++. - Ability to read, write, and understand formal programming language specifications and implementations. - Ability and willingness to document, teach, and explain complex technical problems and solutions. - High level of independence and autonomy. Benefits - Compensation is comprised of a stock grant (≥ 0.2%) conditioned on a vesting schedule. - Unlimited paid and unpaid vacation time. - Reimbursable vacation expenses (transportation and lodging up to $1k). - A triennial $4k computing device allowance. - Comprehensive medical, dental, and vision insurance. - $120 monthly gym allowance. - $250 yearly to spend on anything educational.

Role Description Launching a new state on Parcell is a high-ownership, high-impact technical challenge. Because each state has its own scoring system, rules, and data requirements, every launch is like solving a new puzzle. We are looking for someone who is part project manager, part technical implementer, part quality assurance, and part customer advocate. If you're strong with SQL, comfortable running scripts, enjoy digging into rule systems, and want to be the expert responsible for bringing new states live on our platform, you’ll thrive in this role. This role is ideal for someone who likes end-to-end ownership, technical problem solving, and visible impact—without needing to be a software engineer. What You Will Do - Project Management (15%) - Own state launch projects from kickoff to launch. - Build project plans based on each state’s QAP and guideline updates. - Identify and evaluate the right data sources based on the state’s requirements and scoring criteria. - Track timelines, dependencies, risks, and communicate status clearly to internal and external stakeholders. - Configuration & Technical Implementation (45%) - Translate state guidelines (QAPs) into system logic and configurations using our internal tooling. - Execute scripts and perform data operations using Node.js, Bash, and similar tools. - Collaborate with internal teams, policy experts, housing departments, and customers to resolve ambiguities or rule interpretations. - Provide structured feedback to improve configuration processes and internal tools. - Quality Assurance & Updates (20%) - Perform rigorous QA before each state launch to ensure accuracy. - Use SQL extensively to validate scoring logic, verify data integrity, and confirm rule compliance. - Maintain compliance as states update their rules and scoring. - Identify, document, and resolve issues during and after launch. - Support (20%) - Respond to customer questions related to scoring and state rules. - Proactively notify customers of scoring updates or changes in state guidance. Qualifications - Technical background with some hands-on scripting experience (Node.js, Bash, or similar). - Strong SQL skills with ability to write queries for analysis, validation, and troubleshooting. - Excellent attention to detail and comfort working with complex rules and edge cases. - Strong communicator able to collaborate with software engineers, internal teams, and customers. - Able to manage multiple projects simultaneously. - Experience in software development, business analysis, data analysis, or technical operations. - Passionate about affordable housing and real estate development is a plus. Benefits - Market-rate compensation aligned with experience and role expectations. - Comprehensive health coverage (medical, dental, and vision). - Equity ownership in Parcell, so you share in the company’s long-term success.