From 775e69fea981b1cec03cc8206d69abed9b824df5 Mon Sep 17 00:00:00 2001
From: Adam Stück <adam@adast.dk>
Date: Mon, 22 May 2023 17:31:07 +0200
Subject: New file structure

index.html
some-post/
 --> index.html
---
 src/resume-da/index.md | 167 +++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 167 insertions(+)
 create mode 100644 src/resume-da/index.md

(limited to 'src/resume-da')

diff --git a/src/resume-da/index.md b/src/resume-da/index.md
new file mode 100644
index 0000000..9d8705b
--- /dev/null
+++ b/src/resume-da/index.md
@@ -0,0 +1,167 @@
+<script type="text/javascript" language="javascript" src="js/showhide.js"></script>
+
+#### [ [English](/resume) / Dansk ]
+
+# Adam Stück
+
+**Studenterprogrammør / Fritids sysadmin**<br>Aalborg, Danmark<br>adam@adast.dk
+
+<hr>
+
+## Erfaring
+
+### 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-nu** / Aalborg, Danmark <small>On-site & remote</small>
+
+* 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**<br>
+by E.G.Henriksen, A.M. Khorsid, E. Nielsen, Th. Risager, J. Srba, **A.M. Stück**, S. Sørensen<br>
+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.<br>
+[PDF](http://www.cs.aau.dk/~srba/files/HKNRSSS:SPIN:23.pdf)
+<small>[©Springer-Verlag](https://www.springer.com/gp/computer-science/lncs)</small>
+&nbsp; [EE](https://link.springer.com/chapter/10.1007/978-3-031-32157-3_10)
+&nbsp; [BibTex](https://homes.cs.aau.dk/~srba/srba.html#HKNRSSS:SPIN:23) 
+&nbsp; <a onclick="ShowHide('HKNRSSS:SPIN:23');UpdateText(this);" href="javascript:void(0)">Abstract</a>
+
+<div class="abstract" style="display:none" id="HKNRSSS:SPIN:23">Efficient state-space exploration
+has a significant impact on reachability analysis in explicit model checking
+and existing tools use several variants of search heuristics and random walks
+in order to overcome the state-space explosion problem. We contribute with a
+novel approach based on a random search strategy, where actions are assigned
+dynamically (on-the-fly) updated potencies, changing according to the
+variations of a heuristic distance to the goal configuration as encountered
+during the state-space search. We implement our general idea into a Petri net
+model checker TAPAAL and document its efficiency on a large benchmark of Petri
+net models from the annual Model Checking Contest. The experiments show that
+our heuristic search outperforms the standard search approaches in multiple
+metrics and that it constitutes a worthy addition to the portfolio of classical
+search strategies. </div>
+
+## Konkurrencer
+
+* 2022: Senior Qualifier i De Danske Cybermesterskaber
+* 2020: Deltog i Create Jam
+
+## Sprog
+
+<style>
+dl {
+    margin:1rem;
+    display:grid;
+    grid-template-columns:auto 1fr;
+    grid-gap:.2rem 1rem;
+}
+dl dt {
+    font-size: .9rem;
+    font-weight: 700;
+}
+dl dd:not(:last-child) {
+    margin-bottom: .3rem;
+}
+</style>
+<dl class="languages">
+<dt>Engelsk</dt>
+<dd>Flydende skriftligt og mundtligt</dd>
+<dt>Dansk</dt>
+<dd>Flydende skriftligt og mundtligt</dd>
+<dt>Tysk</dt>
+<dd>Begrænset arbejdskompetence</dd>
+<dt>Irsk (Gælisk)</dt>
+<dd>Begrænset arbejdskompetence</dd>
+</dl>
+
+
+## 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.
-- 
cgit v1.2.3-70-g09d2