# Michael Mroz > Engineering @ Mercury Location: Seattle, Washington, United States Profile: https://flows.cv/michaelmroz I like thinking about systems. Mostly interested in conceptual design, architecture, and technical leadership in complex, correctness-critical spaces. Big fan of functional programming. ## Work Experience ### Staff Software Engineer - Ledger @ Mercury Jan 2024 – Present | Seattle, Washington, United States Creating dependently typed abstractions over ledgered and event sourced business processes to produce a reliable, operable, observable and self-documenting/diagramming banking core. ### Senior Software Engineer - Treasury @ Mercury Jan 2023 – Jan 2024 | Seattle, Washington, United States Conceived, architected and delivered a ledgered state machine platform underpinning our investment products to improve reliability, observability, maintainability and correctness. Haskell against Postgres. ### Principal Software Engineer @ MonetizeNow Jan 2022 – Jan 2023 | Seattle, Washington, United States Technically led a small team of engineers building a commerce platform targeting SaaS companies. Personally delivered a general-purpose streaming batch process service, an authentication system, price policies, quoting, subscription lifecycles, and billing/invoicing with a strong focus on correctness. Primarily built in functional Kotlin+Arrow (migrating from Java) running on AWS ECS. Backed by Aurora Postgres, DynamoDB and SQS. Defended by property-based tests. ### Senior Software Engineer @ Atlassian Jan 2019 – Jan 2022 | Mountain View, California Designed and built distributed systems for Atlassian's authentication infrastructure in a microservice architecture, with a focus on ultra-high reliability, low latency, and correctness. Technologies included purely functional Scala, functional and non-blocking Java + Kotlin, and Typescript running on NodeJS. Major projects included making web session state safely multi-region active-active, and collaborating on the design and development of S2S authn/z frameworks to minimize blast radius in the event of an attack. Also had significant input into security modeling for the ongoing custom domains initiative. I spent my last year with the company on a small team working across the entire Platform organization to tackle the slow rate of platform solution adoption by new and acquired products. In pursuit of this goal, I conceived, pitched and delivered a dynamic configuration transformation framework and delivery infrastructure in functional Typescript. This allowed products' declared intents to be automatically interpreted as complex Platform instructions often by multiple independent systems, reducing the time required for adoption of integrated capabilities by new and acquired products from weeks or even months, to minutes. The solution allowed for declared behaviour to vary on the basis of arbitrary environmental dimensions, including stage, region, and end-user locale. Other: * Won one and placed well in a number of other company hackathons. * Consulted as a domain and system authority on almost all critical identity-related incidents. ### Software Engineer @ Atlassian Jan 2017 – Jan 2019 | Mountain View, California Delivered authentication and security features for Atlassian's global account system in Scala, Java, Kotlin and Javascript/Typescript. These included multi-factor authentication, and later administrative controls and policy around it, web session management for end-users and administrators, and a new generation of APIs with improved consistency. My largest project in this role was leading a nine-month campaign to safely introduce support for soft-email verification to the Atlassian web authentication platform, a blocker for the tighter integration of Trello. I also participated in cross-org project groups to integrate acquired products – Trello and Opsgenie – with core Platform systems. ### Junior Software Engineer @ Atlassian Jan 2016 – Jan 2016 | Sydney, Australia Built a userbase synchronisation utility for GSuite -> Atlassian Cloud in purely functional Scala, backed by DynamoDB ### Software Engineer @ Scarlett Madz Capital Jan 2014 – Jan 2016 Architected and built INDX.GURU, a stock market research tool for the Australian Stock Exchange (later, also NASDAQ + NYSE). Coffeescript+Angular frontend, ASP.NET Web API + MSSQL database backend, with media indexing processes (C#.NET) running alongside, all deployed on the Azure cloud platform. ### Laboratory Supervisor @ Curtin University Jan 2013 – Jan 2014 Tutored first- and second-year students in Java and C programming. Depending on the unit and cohort, this ranged from supervising and occasionally helping, to full-on teaching. ### Software Engineer @ Woodside Energy Jan 2012 – Jan 2014 Two three-month internships writing .NET applications for the company intranet, primarily built on Sharepoint. Also built SPAs on the Angular framework, as well as applications for Windows Phone and Windows 8. ### Software Engineer @ Deloitte Australia Jan 2013 – Jan 2013 University co-op project: designed and built a meeting room and desk booking system with C#.NET WCF + MSSQL, consumed by an ASP.NET web interface and an iPhone application. ## Education ### Bachelor of Science (BSc) in Computer Software Engineering Curtin University Jan 2011 – Jan 2014 ## Contact & Social - LinkedIn: https://linkedin.com/in/mjvmroz - Website: https://twitter.com/mjvmroz --- Source: https://flows.cv/michaelmroz JSON Resume: https://flows.cv/michaelmroz/resume.json Last updated: 2026-03-22