| Website | https://k0nze.dev |
| GitHub | https://github.com/k0nze |
| Website | https://k0nze.dev |
| GitHub | https://github.com/k0nze |
We have an open PhD position for working on formal verification in Yosys and other open source tools, including Surfer :)
https://aemy.cs.hm.edu/open-positions/2026/01/19/open-source-formal-verification.html
Come join an exciting group here in Munich, we are currently ~15 people working on various aspects of open source chip design, and we are planning to grow even more this year
And a more permanent link with other positions too https://aemy.cs.hm.edu/open-positions/
We offer positions in our team for current and upcoming projects in the area of open source chip design tools. Your tasks include: Exploration of data models for incremental formal verification Design and Implementation of a database for formal verification Integration and extension of verification algorithms with the database Collaboration...
Am 7. Februar laden wir zum Roboter-Workshop in die #Essembly ein. Von 15 Uhr bis 18Uhr werden wir uns an Beispielen ansehen, wie du die Entwicklung deines eigenen vierbeinigen DIY-Laufroboters angehen kannst.
Im Workshop erfährst du, wie Mechanik, Elektronik und Software Schritt für Schritt geplant werden können.
Mehr Infos findest du auf unserer Webseite: https://essembly.de/blog.html
Bitte melde dich an unter [email protected]
#EsslingenamNeckar #Maker #EsslingenMaker #DIY #quadrupedrobots
Shortly before Christmas I got myself the Fair Mouse from @fairit as a DIY kit. Today I put it together. It was fun building soldering the mouse myself.
The Fair Mouse is now on my workshop/lab computer as a daily driver
We have a lot of plants and therefore a lot of plant pots. However, the plant pot inserts from the garden center never really fit.
So I created a parametrizable plant pot inserts generator in #OpenSCAD for #3Dprinting 🪴
Available as #opensource : https://github.com/k0nze/plant_pot_insert_generator
Der #Rust -Workshop am Samstag den 03. Januar wird leider verschoben. Einen Ersatztermin haben wir bisher noch nicht.
Wir wünschen allen einen guten Rutsch ins neue Jahr!
Am 15. November 2025 treffen wir uns ab 15 Uhr in der #Essembly in #Esslingen, um gemeinsam im #picoGym zu trainieren. Zusammen schärfen wir unsere #CyberSecurity #Skills für den nächsten #CTF.
Bitte melde dich mit Email an [email protected] an.
Der Workshop ist kostenlos. Um Spenden wird gebeten.
#maker #makerspace #esslingen #esslingenamneckar #technik #makerspace
Mehr Infos auf https://essembly.de/ctf-training-am-15-november.html