From 775e69fea981b1cec03cc8206d69abed9b824df5 Mon Sep 17 00:00:00 2001 From: Adam Stück Date: Mon, 22 May 2023 17:31:07 +0200 Subject: New file structure index.html some-post/ --> index.html --- dst/resume.html | 226 -------------------------------------------------------- 1 file changed, 226 deletions(-) delete mode 100644 dst/resume.html (limited to 'dst/resume.html') diff --git a/dst/resume.html b/dst/resume.html deleted file mode 100644 index a96f925..0000000 --- a/dst/resume.html +++ /dev/null @@ -1,226 +0,0 @@ - - - - - - Adam Stück - - - - - -
- -
- - -

[ English / Dansk ]

- -

Adam Stück

- -

Student programmer / Hobbyist sysadmin
Aalborg, Denmark
adam@adast.dk

- -
- -

Experience

- -

Linux, Sysadmin, Self-hosting (spare time)

- -

2021-Now

- - - -

Student Programmer at E-Komplet

- -

2020-Now / Aalborg, Denmark On-site & remote

- - - -

Software Developer at OK Snacks A/S

- -

August 2019 / Ikast-Brande, Denmark

- - - -

Junior Business Analyst at Arise

- -

June 2017 - July 2017 / Limerick, Ireland

- - - -

Work Placement at Arise

- -

2015 / Limerick, Ireland

- - - -

Coding, Web Dev, Game Dev (spare time)

- -

2014-Now

- - - -

Education

- -

Aalborg University

- -

2019-2023 / Aalborg, Denmark

- - - -

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

- - - -

Competitions

- - - -

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:

- - - -

I’m proficient with:

- - - -

I have some experience with:

- - - -

Interests

- - - -

Other: game dev, hiking/camping, boxing, guitar.

- -

References

- -

Available upon request.

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