Comment Comment by csbartus 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: [email protected]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/ parent csbartus 1 year ago
- Location: Europe
- Remote: Yes
- Willing to relocate: Maybe
- Résumé/CV: https://osequi.com/, https://chat.osequi.com/ (AMA with AI)
- Email: [email protected]
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/