• Own the design and implementation of backend services that effortlessly scale no matter size of the fleet • Work with the product manager and our UX designer closely to design and build intuitive UI interfaces that makes the route planner’s job more efficient • Partner with the engineering manager and advocate for technical excellence on the team • Navigate tradeoffs between moving fast and building for the long term using customer impact as the north star • Act as a simplifier that ensures our solutions are built to serve our diverse customer base • Communicate your work to not just engineering audiences but also our sales partners to maintain a tight feedback loop • Champion, role model, and embed Samsara’s cultural principles (Focus on Customer Success, Build for the Long Term, Adopt a Growth Mindset, Be Inclusive, Win as a Team) as we scale globally and across new offices

• Design, develop, and deploy scalable and highly available applications and services on AWS • Utilize a wide range of AWS services including EC2, S3, RDS, DynamoDB, Lambda, API Gateway, ECS/EKS, and more • Implement Infrastructure as Code (IaC) using tools like AWS CloudFormation or Terraform • Develop and maintain CI/CD pipelines using AWS CodePipeline, CodeBuild, CodeDeploy, or similar tools • Integrate AI/ML-powered solutions in sales tools to support and optimize sales workflows • Build and consume RESTful APIs and other web services • Implement robust monitoring, logging, and alerting solutions using AWS CloudWatch and other monitoring tools • Ensure the security and compliance of AWS environments and applications • Collaborate with cross-functional teams to understand requirements and deliver high-quality solutions • Troubleshoot and resolve issues in production and non-production AWS environments • Stay up-to-date with the latest AWS services and best practices • Contribute to the development of technical documentation and best practices.

About Air Space Intelligence ASI's mission-critical technology powers decision-making across aviation, defense, energy, and other critical infrastructure domains. Backed by top-tier investors including Andreessen Horowitz, Spark Capital, and Renegade Partners, ASI delivers operational decision superiority—compressing days of analysis into seconds of action. ASI is leading the way and pushing the boundaries of what’s possible. What you’ll do: As a Software Engineering Intern, you’ll be an integral part of our team, solving some of the most complex challenges across complex operating domains such as aerospace. From optimizing routes to detecting anomalies and driving operational efficiency, you’ll contribute to mission-critical solutions that make a real-world impact, all while gaining valuable technical experience and receiving mentorship from leading software engineers. You’ll also have the opportunity to work with the latest technologies, including Rust, React, Kubernetes, Helm, Terraform, AWS, Google Cloud Platform, Big Query, and Dataflow, gaining hands-on experience in the most sought-after tech skills. What we value: - Passionate Builders - We’re looking for talented engineers who love to build. Building isn’t a job, it’s a lifestyle. Our stack includes Python, Rust, and React — whether you already know them or are eager to learn, you’ll thrive if you love solving hard problems and shipping great products. - Fast Learners - We don’t expect you to do it all day one, but we do expect that you love to learn and learn quickly. At ASI, speed matters. - Critical Thinkers - The world is rapidly changing, and as a result, we must continuously reinvent ourselves to stay ahead and relevant. We love divergent thinkers and people who will come in and challenge the status quo. - Force Multipliers - Being excellent in a silo is only part of the equation - to thrive at ASI is to be collaborative and positive-sum oriented. - Futurists - You’re energized by the fact that software engineering is being redefined in real time. You seek out new tools and paradigms, including AI, and use them deliberately to compound your impact — without sacrificing technical depth, ownership or taste. Logistics: - We are an in-office work environment thus you must be willing to be onsite in our Gdańsk headquarters. - At least 7th semester student of Computer Science or related fields. How we hire: To apply, simply send a 3-minute video showcasing your most significant technical achievement and explaining why you want to join ASI. We recommend using a free tool like Loom. The video should include both: - Narrative: A brief explanation of your achievement and why you want to join ASI - Demonstration: A visual walkthrough of the project We can’t wait to hear from you!

• Design and develop tools that automatically ensure the correctness of smart contracts or identify security issues and bugs in smart contracts. • Extend the scope and depth of automated program verification tools and brainstorm, design, and implement new tools. • Adapt and improve algorithms for symbolic software model checking. • Build and extend translators from different input languages into intermediate representations. • Identify new classes of security properties of smart contracts and formalize properties for automated verification tools.