diff options
Diffstat (limited to 'src/resume-da/index.md')
| -rw-r--r-- | src/resume-da/index.md | 171 |
1 files changed, 0 insertions, 171 deletions
diff --git a/src/resume-da/index.md b/src/resume-da/index.md deleted file mode 100644 index b94797a..0000000 --- a/src/resume-da/index.md +++ /dev/null @@ -1,171 +0,0 @@ -<script type="text/javascript" language="javascript" src="js/showhide.js"></script> - -#### [ [English](/resume) / Dansk ] - -# Adam Stück - -**Junior Software Ingeniør & Fritids Sysadmin**<br>Aalborg, Danmark<br>adam@adast.dk - -<hr> - -## 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 <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> - [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) - <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. |