766fc7
- 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 solve the two top pain points of JS / TS / React [1]
- Using lightweight formal and semi-formal methods [2]
- I integrate multiple disciplines (entrepreneurship, math, computer science, UX/UI design) to create better products [3]
I'm interested in companies with a high societal impact: synthetic biology, education, healthcare, personal growth, financial stability.
[1]: https://2023.stateofjs.com/en-US/usage/#top_js_pain_points
- SEEKING WORK | Europe | Remote
I wear multiple hats: Researcher / Senior Software Architect / React Lead / Design Engineer / Junior AI Engineer.
I can help you with your AI software engineering strategy and implementation with a focus on correctness: https://www.osequi.com/studies/list/list.html
- Résumé/CV: https://osequi.com/
- Email: bartus.csongor@gmail.com
- 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
- I'm writing a study about how to write likely-correct studies ... :)
This is a second part of a series on likely-correctness, the first is how to create likely-correct software: https://www.osequi.com/studies/list/list.html
- Here is a birds-eye view of programming (classic, functional, quantum) vs category theory vs logic -- aka the computational trilogy:
https://ncatlab.org/nlab/show/computational+trilogy
It helped me a lot putting into context my existing programming knowledge while learning category theory
- Just learnt Applied Category Theory, it's a very big fun, hope you're enjoying it too :)
- That's a backend issue I guess ...
- What happened to the very elegant GraphQL? Where the client _declares_ its data needs, and _that's all_, all the rest is taken care by the framework?
Compared to GraphQL, Server Components are a big step back: you have to do manually on the server what was given by default by GraphQL
- SEEKING WORK | Europe | Remote
I wear multiple hats: Researcher / Senior Software Architect and Engineer / Design Engineer and recently Junior AI Engineer.
I can help you with your AI software engineering strategy and implementation with a focus on correctness: https://www.osequi.com/studies/list/list.html
- Résumé/CV: https://osequi.com/
- Email: bartus.csongor@gmail.com
- Senior Software Architect | Junior AI Engineer | Remote, EU
- 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 organization and state management, using lightweight 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'm a junior AI Engineer versed in prompting, agentic development with Vercel AI SDK. Finishing my first AI app, an agent/assistant helping to write likely-correct studies, articles and technical documents.
Seeking:
- Teams building better software, faster
- Particularly interested in fintech, health-tech, and developer tools
- Formalization, correctness is about models. [1]
There are formal methods where the underlying model is mathematically sound. There are semi-formal methods where the underlying model is structured but not proven to be sound.
For example, in your case ("organizes knowledge") a formal method is ologs from category theory. That method assures that the concepts and their relationship in your knowledge base are mathematically correct.
When you want to transfer that knowledge base into a documentation system you might want look for a mathematically sound model, but I'm afraid there is no such model, so what's left is a semi-formal method / a likely-correct model.
Right now I'm building such a likely-correct model for writing, contact me for more info.
[1] https://www.osequi.com/slides/formalism-correctness-cost/for...
- Perhaps there is no such thing like absolute truth.
In category theory / ologs, a formal method for knowledge representation, the result is always mathematically sound, yet ologs are prefixed with "According to the author's world view ..."
On the other way truth, even if it's not absolute, it's very expensive.
Lately AWS advocates a middle ground, the lightweight formal methods, which are much cheaper than formal methods yet deliver good enough correctness for their business case.
In the same way MIT CSAIL's Daniel Jackson advocates a semi-formal approach to design likely-correct apps (Concept design)
It seems there is a push for better correctness in software, without the aim of perfectionism.
- I've recently created a likely-correct piece of software based on these principles.
https://www.osequi.com/studies/list/list.html
The structure (ontology, taxonomy) is created with ologs, a formal method from category theory. The behavior (choreography) is created with a semi-formal implementation (XState) of a formal method (Finite State Machines)
The user-facing aspect of the software is designed with Concept Design, a semi-formal method from MIT CSAIL.
Creating software with these methods is refreshing and fun. Maybe one day we can reach Tonsky's "Diagrams are code" vision.
- I have a good understanding of how to create likely-correct software: https://www.osequi.com/studies/list/list.html
Now I'm learning AI/LLMs from the perspective of correctness. So far I have two 'maxims' to guide me:
- AI shines where humans struggle (for prompt engineering)
- An LLM is nothing but an API call (for software engineering with AI)
- SEEKING WORK | Europe | Remote
A Senior / Lead React Front-end Developer, Design Engineer, Software Architect is looking for a job.
I have dual skills: a degree in Computer Science and UI/UX design works featured in online galleries.
In the last 15 years I've been designing and developing websites and applications. From back-end to front-end, from architecture design to UI/UX design, on different stacks. I've built and managed front-end teams, shaped products.
Currently, I specialize in React and TypeScript, offering expertise in:
- Team Leadership: Building and guiding React teams, producing high-quality code even with junior developers.
- Design Engineering: Developing robust design systems, enabling rapid prototyping, shaping product design, and bridging developer-designer communication gaps.
- React Software Architecture: Solving pain points like state management and code architecture: https://www.osequi.com/studies/list/list.html
- AI-Driven Development: Advising on building likely-correct React apps and training AI models for React app generation.
Résumé/CV: http://metamn.io/
Email: bartus.csongor@gmail.com
- 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
- Working on creating likely-correct software with formal and semi-formal methods for rapid iteration.
Done the first demo: https://www.osequi.com/studies/list/list.html, now focusing on "diagrams as code": https://tonsky.me/blog/diagrams/
- SEEKING WORK | Europe | Remote
A Senior / Lead React Front-end Developer, Design Engineer, Software Architect is looking for a part time, fractional job.
I have dual skills: a degree in Computer Science and UI/UX design works featured in online galleries.
In the last 15 years I've been designing and developing websites and applications. From back-end to front-end, from architecture design to UI/UX design, on different stacks. I've built and managed front-end teams, shaped products.
Currently, I specialize in React and TypeScript, offering expertise in:
- Team Leadership: Building and guiding React teams, producing high-quality code even with junior developers.
- Design Engineering: Developing robust design systems, enabling rapid prototyping, shaping product design, and bridging developer-designer communication gaps.
- React Software Architecture: Solving pain points like state management and code architecture, as highlighted in the 2023 State of JS survey: https://2023.stateofjs.com/en-US/usage/#top_js_pain_points.
- AI-Driven Development: Advising on building likely-correct React apps and training AI models for React app generation.
I prefer a part-time or fractional role as I also run a research and development studio focused on correct software: https://www.osequi.com/.
- Senior / Lead React Front-end Developer, Design Engineer, Software Architect -- Part time, fractional job
- Location: Europe
- Remote: Yes
- Willing to relocate: Maybe
- Technologies: React, TypeScript, Next.js, Design systems, XState, Functional software architecture
- Résumé/CV: http://metamn.io/
- Email: bartus.csongor@gmail.com
I have dual skills: a degree in Computer Science and UI/UX design works featured in online galleries.
In the last 15 years I've been designing and developing websites and applications. From back-end to front-end, from architecture design to UI/UX design, on different stacks. I've built and managed front-end teams, shaped products.
Currently, I specialize in React and TypeScript, offering expertise in:
- Team Leadership: Building and guiding React teams, producing high-quality code even with junior developers.
- Design Engineering: Developing robust design systems, enabling rapid prototyping, shaping product design, and bridging developer-designer communication gaps.
- React Software Architecture: Solving pain points like state management and code architecture, as highlighted in the 2023 State of JS survey: https://2023.stateofjs.com/en-US/usage/#top_js_pain_points.
- AI-Driven Development: Advising on building likely-correct React apps and training AI models for React app generation.
I prefer a part-time or fractional role as I also run a research and development studio focused on correct software: https://www.osequi.com/.
I wear multiple hats: Researcher / Senior Software Architect / React Lead / Design Engineer / Junior AI Engineer.
I can help you with your AI software engineering strategy and implementation with a focus on correctness: https://www.osequi.com/studies/list/list.html
- Résumé/CV: https://osequi.com/
- Email: bartus.csongor@gmail.com