[ English / Dansk ]
-Adam Stück
-Junior Software Engineer & Hobbyist Sysadmin
Aalborg, Denmark
adam@adast.dk
-
Experience
-Junior Software Engineer at Sky Labs Aalborg
-2023-Now / Aalborg, Denmark
-Linux, Sysadmin, Self-hosting (spare time)
-2021-Now
--
-
- Got hooked on Linux early 2021 -
- Self-hosting some 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-2023 / 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, 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
+
+
+
Adam Stück
+Linux System Administrator & Software Engineer
+adam@adast.dk
+:flag-dk: :flag-ie:
Passionate about open source software, usability, performance, privacy, and +minimal design.
+Skills & Languages
+Core tools are C#, HTML, CSS, JavaScript & the command line. Currently improving my skills +as a sysadmin and learning the Godot game engine. I also enjoy tinkering with +basic shell scripts and Unix systems.
+ +Experience
+Title | Company | Duration |
---|---|---|
Junior Software Engineer | Sky Labs Aalborg | 2023-Now |
Student Programmer | E-Komplet A/S | 2020-2023 |
Software Developer | OK Snacks A/S | 2019 |
Junior Business Analyst | ADEC Arise | 2017 |
Work Placement | ADEC Arise | 2015 |
Education
+Institution | Program | Completion |
---|---|---|
Aalborg University | Computer Science | 2023 |
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.
+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
-©Springer-Verlag
- EE
- BibTex
- Abstract