Looks like you have JavaScript disabled. For the full Twine experience, you will need to re-enable it.

I am an experienced software engineer with strong expertise in both frontend and backend development, specializing in Java, Kotlin, and modern web frameworks such as Angular and React. Throughout my career, I have successfully enhanced software performance, migrated legacy systems to modern architectures, and developed complex backend systems including real-time communication and formal specification languages. I am passionate about applying my deep technical skills in software engineering and continue to advance my knowledge in artificial intelligence and formal methods. My academic background in Computer Science and Mathematics, combined with postgraduate studies in Artificial Intelligence, has equipped me with a solid foundation to build innovative software solutions. I thrive in collaborative environments where I can contribute to impactful projects and grow my expertise in cutting-edge technologies and frameworks.…I am an experienced software engineer with strong expertise in both frontend and backend development, specializing in Java, Kotlin, and modern web frameworks such as Angular and React. Throughout my career, I have successfully enhanced software performance, migrated legacy systems to modern architectures, and developed complex backend systems including real-time communication and formal specification languages. I am passionate about applying my deep technical skills in software engineering and continue to advance my knowledge in artificial intelligence and formal methods. My academic background in Computer Science and Mathematics, combined with postgraduate studies in Artificial Intelligence, has equipped me with a solid foundation to build innovative software solutions. I thrive in collaborative environments where I can contribute to impactful projects and grow my expertise in cutting-edge technologies and frameworks.

David Franz

Developer, Programmer, Back-End Developer, +4





I am an experienced software engineer with strong expertise in both frontend and backend development, specializing in Java, Kotlin, and modern web frameworks such as Angular and React. Throughout my career, I have successfully enhanced software performance, migrated legacy systems to modern architectures, and developed complex backend systems including real-time communication and formal specification languages. I am passionate about applying my deep technical skills in software engineering and continue to advance my knowledge in artificial intelligence and formal methods. My academic background in Computer Science and Mathematics, combined with postgraduate studies in Artificial Intelligence, has equipped me with a solid foundation to build innovative software solutions. I thrive in collaborative environments where I can contribute to impactful projects and grow my expertise in cutting-edge technologies and frameworks.…I am an experienced software engineer with strong expertise in both frontend and backend development, specializing in Java, Kotlin, and modern web frameworks such as Angular and React. Throughout my career, I have successfully enhanced software performance, migrated legacy systems to modern architectures, and developed complex backend systems including real-time communication and formal specification languages. I am passionate about applying my deep technical skills in software engineering and continue to advance my knowledge in artificial intelligence and formal methods. My academic background in Computer Science and Mathematics, combined with postgraduate studies in Artificial Intelligence, has equipped me with a solid foundation to build innovative software solutions. I thrive in collaborative environments where I can contribute to impactful projects and grow my expertise in cutting-edge technologies and frameworks.

Available to hire

I am an experienced software engineer with strong expertise in both frontend and backend development, specializing in Java, Kotlin, and modern web frameworks such as Angular and React. Throughout my career, I have successfully enhanced software performance, migrated legacy systems to modern architectures, and developed complex backend systems including real-time communication and formal specification languages. I am passionate about applying my deep technical skills in software engineering and continue to advance my knowledge in artificial intelligence and formal methods.

My academic background in Computer Science and Mathematics, combined with postgraduate studies in Artificial Intelligence, has equipped me with a solid foundation to build innovative software solutions. I thrive in collaborative environments where I can contribute to impactful projects and grow my expertise in cutting-edge technologies and frameworks.

Skills

Experience Level

Expert

Expert

Expert

Expert

Expert

Expert

Expert

Expert

Expert

Expert

Expert

Expert

Expert

Expert

Expert

Expert

Expert

Intermediate

Intermediate

Intermediate

Language

English

Fluent

Work Experience

Software Engineer at Servicely

April 30, 2025 - August 31, 2025

Developed and maintained mobile REST APIs using Java and Kotlin with Spring framework. Enhanced performance and reliability of existing backend REST APIs. Migrated legacy Java APIs to Kotlin to improve code maintainability and readability. Implemented new frontend pages and components using Angular, focusing on cross-language and device compatibility as well as responsiveness. Modernized legacy frontend components by migrating pages and renderers from Knockout-based HTML/JavaScript to a modern Angular architecture.

Software Engineer at Solnet (acquired by Accenture)

May 31, 2024 - August 31, 2025

Developed a robust formal specification language supporting expression evaluation, type definitions, variable and object handling, subprocess management, grammar implementation, and Abstract Syntax Tree (AST) generation and manipulation. Implemented a grammar-based natural language system to automatically create propositional logic. Integrated backend version control management for a web-based IDE using JGit and Vert.x. Delivered complex and dynamic React components including a sophisticated visualization tool for version control histories. Managed extensive WebSocket APIs to support real-time client-server communication, improving performance and user experience.

Research Assistant at Victoria University

February 28, 2021 - August 31, 2025

Translated theoretical concepts from an academic research paper into a working prototype. Implemented formal syntax and semantics of a research-defined programming language using Racket and Redex. The language leveraged temporal logic for robust program verification, focusing on systems security. Deepened understanding of formal methods, verification, and secure system design through practical implementation.