• 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.

Job Title: Software Engineer: Full-Stack or Software Engineer: Full-Stack (Data) Salary: $100,000-$220,000 + equity options. Location: Remote with occasional in-person work in our co-working space in downtown Toronto. About Us Fiscal.ai (formerly FinChat) is a leading research and data platform for capital markets.  Combining a powerful research Terminal with modern APIs, Fiscal.ai is building the modern financial data company.  The firm has raised $13M in venture backing and is headquartered in Toronto, Canada. With thousands of customers and millions of end-users through their API offerings, Fiscal.ai is building the premiere financial data company in the AI era. Brief Description of the Role: This role will be joining our growing and talented engineering Team. As a fast-growing company, you will be building at the intersection of the AI and finance. There are two main responsibilities of the engineering Team: - Building the Fiscal.ai Terminal product - Building the Fiscal.ai Financial Data infrastructure (and API product) Both require deep understanding of the full stack, LLMs and finance. If you think this is the perfect fit for you, we'd love to specifically hear why!