#### [ English / [Dansk](/resume-da) ] # Adam Stück **Student programmer / Hobbyist sysadmin**
Aalborg, Denmark
adam@adast.xyz
## Experience ### Linux, Sysadmin, Self-hosting (spare time) **2021-Now** * Got hooked on Linux early 2021 * Self-hosting some [services](/services) on Raspberry Pi, later VPS * Started building my personal platform 😎 * Linux, SSH, Unix Shell, Git, POSIX scripting * Docker, DNS, Certbot, Web Servers, Firewalls, VPNs * Countless command line utilities ### Student Programmer at E-Komplet **2020-Now** / Aalborg, Denmark On-site & remote * Full stack consultant for E-Komplet client * ASP.NET, C#, MSSQL, Azure DevOps, Git, JavaScript, JQuery, HTML ### Software Developer at OK Snacks A/S **August 2019** / Ikast-Brande, Denmark * Development of an Excel system to track spare parts in stock for production machines * Microsoft Excel, VBA ### Junior Business Analyst at Arise **June 2017 - July 2017** / Limerick, Ireland * Organization of data in Excel * Automation of Excel tasks using VBA * Development of web apps to facilitate some call center tasks * Microsoft Excel, VBA, PHP, JavaScript, CSS, HTML ### Work Placement at Arise **2015** / Limerick, Ireland * 2-week school internship in the administration department * Some Excel automation, including generation of working schedules * Learned how a call center operates * General office duties * Microsoft Excel, VBA ### Coding, Web Dev, Game Dev (spare time) **2014-Now** * Started learning programming with JavaScript * Got into web development, built many personal websites for fun * Started learning game development with GameMaker, and later Unity * Improved at JavaScript and learned C# by using Unity * Started developing [arena](https://arena.adast.dk), my multiplayer Quake-like FPS game * JavaScript, HTML, CSS, C#, Unity, Blender, Audacity, Git ## Education ### Aalborg University **2019-2023** / Aalborg, Denmark * Bachelors Degree in Computer Science ## Publications [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 ## Competitions * 2022: Senior Qualifier in the Danish Cyber Championships * 2020: Participated in Create Jam ## Languages
English
Native writing and speaking
Danish
Fluent writing and speaking
German
Rusty
Irish
Rusty
## Tools A selection of tools and applications I have expert experience using: - Linux - Git, Unix Shell - C#, HTML, CSS, JavaScript - Unity I'm proficient with: - C, Rust, python, POSIX Shell (scripting), Java - Docker, SSH I have some experience with: - SQL, PHP, VBA, Haskell, Lua, JQuery, Blazor - Blender ## Interests - Open source software - Linux systems - Performance and utilization - Software security and privacy - Minimal user interface design - Web accessibility Other: game dev, hiking/camping, boxing, guitar. ## References Available upon request.