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/index.html | 277 ++++++++++++++++++++++++++---------------------- 1 file changed, 150 insertions(+), 127 deletions(-) (limited to 'build/resume/index.html') diff --git a/build/resume/index.html b/build/resume/index.html index d0751f4..97dd150 100644 --- a/build/resume/index.html +++ b/build/resume/index.html @@ -1,98 +1,129 @@ - - - - - - Adam Stück - - - - - -
- -
- -

[ 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

- -

Student Programmer at E-Komplet

-

2020-2023 / 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
+ + + + + + + Adam Stück + + + + +

+ +
+

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

+ + + + + + + +
TitleCompanyDuration
Junior Software EngineerSky Labs Aalborg2023-Now
Student ProgrammerE-Komplet A/S2020-2023
Software DeveloperOK Snacks A/S2019
Junior Business AnalystADEC Arise2017
Work PlacementADEC Arise2015
+ +

Education

+ + + +
InstitutionProgramCompletion
Aalborg UniversityComputer Science2023
+ +

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

-

+

Competitions

  • 2022: Senior Qualifier in the Danish Cyber Championships
  • -
  • 2020: Participated in Create Jam
-

Languages

+ +

Interests

  • Open source software
  • -
  • Linux systems
  • +
  • Web accessibility
  • Performance and utilization
  • Software security and privacy
  • Minimal user interface design
  • -
  • Web accessibility
  • +
  • Linux systems
-

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

-

References

+

Other: sailing, hiking/camping, permaculture, solarpunk, game dev, guitar.

+

References

Available upon request.

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