#### [ [English](/resume) / Dansk ] # Adam Stück **Junior Software Ingeniør & Fritids Sysadmin**
Aalborg, Danmark
adam@adast.dk
## Erfaring ### Junior Software Ingeniør hos Sky Labs Aalborg **2023-nu** / Aalborg, Danmark ### Linux, Sysadmin, Self-hosting (fritid) **2021-nu** * Jeg blev hooked på Linux i begyndelsen af 2021 * Prøvede selv at hoste nogle [tjenester](/services) på Raspberry Pi, senere VPS * Begyndte at bygge min personlige platform 😎 * Linux, SSH, Unix Shell, Git, POSIX scripting * Docker, DNS, Certbot, Web Servers, Firewalls, VPNs * Utallige command line utilities ### Studenterprogrammør hos E-Komplet **2020-2023** / Aalborg, Danmark On-site & remote * Full stack konsulent for E-Komplet klient * ASP.NET, C#, MSSQL, Azure DevOps, Git, JavaScript, JQuery, HTML ### Softwareudvikler hos OK Snacks A/S **august 2019** / Ikast-Brande, Danmark * Udvikling af et Excel-system til at holde styr på reservedele på lager til produktionsmaskiner * Microsoft Excel, VBA ### Junior Business Analyst hos Arise **juni 2017 - juli 2017** / Limerick, Irland * Organisering af data i Excel * Automatisering af Excel-opgaver med VBA * Udvikling af web apps for at lette nogle callcenter-opgaver * Microsoft Excel, VBA, PHP, JavaScript, CSS, HTML ### Skolepraktik hos Arise **2015** / Limerick, Irland * To ugers skolepraktik i administrationsafdelingen * Excel-programmering som bl.a generering af arbejdstidsplaner * Jeg lærte, hvordan et call center fungerer * Generelle kontor opgaver * Microsoft Excel, VBA ### Coding, Web Dev, Game Dev (fritid) **2014-nu** * Begyndte at lære programmering med JavaScript * Kom ind i webudvikling, byggede mange personlige hjemmesider for sjov * Begyndte at lære spiludvikling med GameMaker og senere Unity * Forbedret JavaScript og lært C# ved at bruge Unity * Begyndte at udvikle [arena](https://arena.adast.dk), mit multiplayer Quake-lignende FPS spil * JavaScript, HTML, CSS, C#, Unity, Blender, Audacity, Git ## Uddannelse ### Aalborg Universitet **2019-2023** / Aalborg, Danmark * Bachelor i Datalogi ## Publikationer [1] **Potency-Based Heuristic Search with Randomness for Explicit Model Checking**
by E.G.Henriksen, A.M. Khorsid, E. Nielsen, Th. Risager, J. Srba, **A.M. Stück**, S. Sørensen
In Proceedings of the 29th International SPIN Symposium on Model Checking of Software (SPIN'23), volume 13872 of LNCS, pages 180--187, Springer-Verlag, 2023.
[PDF](http://www.cs.aau.dk/~srba/files/HKNRSSS:SPIN:23.pdf) [©Springer-Verlag](https://www.springer.com/gp/computer-science/lncs)   [EE](https://link.springer.com/chapter/10.1007/978-3-031-32157-3_10)   [BibTex](https://homes.cs.aau.dk/~srba/srba.html#HKNRSSS:SPIN:23)   Abstract ## Konkurrencer * 2022: Senior Qualifier i De Danske Cybermesterskaber * 2020: Deltog i Create Jam ## Sprog
Engelsk
Flydende skriftligt og mundtligt
Dansk
Flydende skriftligt og mundtligt
Tysk
Begrænset arbejdskompetence
Irsk (Gælisk)
Begrænset arbejdskompetence
## Kompetencer Værktøjer og applikationer, jeg har eksperterfaring med: - Linux - Git, Unix Shell - C#, HTML, CSS, JavaScript - Unity Jeg er dygtig til: - C, Rust, python, POSIX Shell (scripting), Java - Docker, SSH Jeg har lidt erfaring med: - SQL, PHP, VBA, Haskell, Lua, JQuery, Blazor - Blender ## Interesser - Open source software - Linux-systemer - Performance og utilization - Softwaresikkerhed og privatliv - Minimalt brugergrænsefladedesign - Webtilgængelighed Andet: spiludvikling, vandring/camping, boksning, guitar. ## Referencer Udleveres ved henvendelse.