| Senior Software Architect | Formal Methods, UI/UX Design | 25+ Years | Remote - Location: Europe - Remote: Yes - Willing to relocate: Maybe - Résumé/CV: https://osequi.com/ - Email: bartus.csongor@gmail.com Mathematics, Computer Science and UI/UX design specialist with 25+ years of experience. I solve two of the most challenging software engineering problems: code architecture and state management, using formal methods (Applied category theory, Finite state machines) to bring academic rigor to the full stack: https://www.osequi.com/studies/list/list.html I also facilitate product design by bridging design and development, leveraging my deep understanding of both visual design and its technical implementation. Achievements: - Built and led engineering teams (30+ engineers) - Co-founded startups (1 successful exit) - International consulting (Silicon Valley, UK, EU, Singapore) - Featured in UI/UX design galleries - Recently completed two-year R&D sabbatical focused on software correctness and rapid iteration methodologies Seeking: - Senior / Principal architect or technical leadership roles at companies valuing correctness, maintainability, and design excellence - Joining teams building better software, faster - Particularly interested in fintech, health-tech, and developer tools |