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!

• Lead and mentor cross-functional teams of developers and QA analysts. • Drive end-to-end delivery of software projects using Agile methodologies. • Own technical design and architecture decisions in collaboration with stakeholders. • Ensure high-quality releases through strong process management and technical oversight. • Partner with product managers to align development with user needs and business priorities. • Continuously improve team performance, structure, and development practices. • Manage vendor relationships and represent the company in technical discussions. • Champion an AI-first culture, encouraging teams to rapidly innovate, experiment, and drive adoption of AI capabilities to enhance product performance and efficiency.