From 57abab7d0c27161e909d07498c86012c82db246e Mon Sep 17 00:00:00 2001 From: Adam Stück Date: Fri, 15 Dec 2023 11:23:21 +0000 Subject: overhaul: switch from ssg to barf - simplify and polish most pages - add /colophon, /now, /contact - drop /resume-da - drop javascript - patch barf to create symlinks for /rss.xml and /feed to /atom.xml --- build/resume-da/index.html | 181 --------------------------------------------- 1 file changed, 181 deletions(-) delete mode 100644 build/resume-da/index.html (limited to 'build/resume-da/index.html') diff --git a/build/resume-da/index.html b/build/resume-da/index.html deleted file mode 100644 index 69ecd04..0000000 --- a/build/resume-da/index.html +++ /dev/null @@ -1,181 +0,0 @@ - - - - - - Adam Stück - - - - - -
- -
- -

[ English / 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

- -

Studenterprogrammør hos E-Komplet

-

2020-2023 / Aalborg, Danmark On-site & remote

- -

Softwareudvikler hos OK Snacks A/S

-

august 2019 / Ikast-Brande, Danmark

- -

Junior Business Analyst hos Arise

-

juni 2017 - juli 2017 / Limerick, Irland

- -

Skolepraktik hos Arise

-

2015 / Limerick, Irland

- -

Coding, Web Dev, Game Dev (fritid)

-

2014-nu

- -

Uddannelse

-

Aalborg Universitet

-

2019-2023 / Aalborg, Danmark

- -

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 -©Springer-VerlagEEBibTexAbstract

- -

Konkurrencer

- -

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:

- -

Jeg er dygtig til:

- -

Jeg har lidt erfaring med:

- -

Interesser

- -

Andet: spiludvikling, vandring/camping, boksning, guitar.

-

Referencer

-

Udleveres ved henvendelse.

- -
- - -- cgit v1.2.3-70-g09d2