- 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/
- 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/