| Senior Software Architect | React Lead | Design Engineer | Remote, EU - Location: Europe - Remote: Yes - Willing to relocate: Maybe - Résumé/CV: https://osequi.com/, https://chat.osequi.com/ (AMA with AI) - Email: bartus.csongor@gmail.com I deliver better software, faster: - I've created a novel methodology to produce likely-correct software using formal and semi-formal methods [1] - I integrate multiple disciplines (entrepreneurship, math, computer science, UX/UI design) to create better products [2] - I use LLMs to generate software based on mathematically correct diagrams [3] I'm interested in companies with a societal impact: improving lives through education, healthcare, personal growth, financial stability. [1]: https://www.osequi.com/studies/list/list.html [2]: https://www.osequi.com/csongor-bartus-profile.pdf [3]: https://tonsky.me/blog/diagrams/ |