Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: