aboutsummaryrefslogtreecommitdiff
path: root/pages/resume.md
diff options
context:
space:
mode:
Diffstat (limited to 'pages/resume.md')
-rw-r--r--pages/resume.md181
1 files changed, 181 insertions, 0 deletions
diff --git a/pages/resume.md b/pages/resume.md
new file mode 100644
index 0000000..817a9a1
--- /dev/null
+++ b/pages/resume.md
@@ -0,0 +1,181 @@
+# Adam Stück
+
+**Linux System Administrator & Software Engineer**<br>
+adam@adast.dk<br>
+: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.
+
+<!-- TODO: compress this section to a couple of sentences
+
+A selection of tools and applications I have expert experience using:
+
+- Linux
+- Git, Unix Shell
+- C#, HTML, CSS, JavaScript
+- Unity
+
+I'm proficient with:
+
+- C, Rust, python, POSIX Shell (scripting), Java
+- Docker, SSH
+
+I have some experience with:
+
+- SQL, PHP, VBA, Haskell, Lua, JQuery, Blazor
+- Blender -->
+
+## Experience
+
+|Title|Company|Duration|
+|-----|-------|--------|
+|Junior Software Engineer|Sky Labs Aalborg|2023-Now|
+|Student Programmer|E-Komplet A/S|2020-2023|
+|Software Developer|OK Snacks A/S|2019|
+|Junior Business Analyst|ADEC Arise|2017|
+|Work Placement|ADEC Arise|2015|
+
+<!-- ### Linux, Sysadmin, Self-hosting (spare time)
+
+**2021-Now**
+
+* Got hooked on Linux early 2021
+* Self-hosting some [services](/services) on Raspberry Pi, later VPS
+* Started building my personal platform 😎
+* Linux, SSH, Unix Shell, Git, POSIX scripting
+* Docker, DNS, Certbot, Web Servers, Firewalls, VPNs
+* Countless command line utilities
+
+### Student Programmer at E-Komplet
+
+**2020-2023** / Aalborg, Denmark <small>On-site & remote</small>
+
+* Full stack consultant for E-Komplet client
+* ASP.NET, C#, MSSQL, Azure DevOps, Git, JavaScript, JQuery, HTML
+
+### Software Developer at OK Snacks A/S
+
+**August 2019** / Ikast-Brande, Denmark
+
+* Development of an Excel system to track spare parts in stock for production machines
+* Microsoft Excel, VBA
+
+### Junior Business Analyst at Arise
+
+**June 2017 - July 2017** / Limerick, Ireland
+
+* Organization of data in Excel
+* Automation of Excel tasks using VBA
+* Development of web apps to facilitate some call center tasks
+* Microsoft Excel, VBA, PHP, JavaScript, CSS, HTML
+
+### Work Placement at Arise
+
+**2015** / Limerick, Ireland
+
+* 2-week school internship in the administration department
+* Some Excel automation, including generation of working schedules
+* Learned how a call center operates
+* General office duties
+* Microsoft Excel, VBA
+
+### Coding, Web Dev, Game Dev (spare time)
+
+**2014-Now**
+
+* Started learning programming with JavaScript
+* Got into web development, built many personal websites for fun
+* Started learning game development with GameMaker, and later Unity
+* Improved at JavaScript and learned C# by using Unity
+* Started developing [arena](https://arena.adast.dk), my multiplayer Quake-like FPS game
+* JavaScript, HTML, CSS, C#, Unity, Blender, Audacity, Git -->
+
+## Education
+
+|Institution|Program|Completion|
+|-----------|-------|------|
+|Aalborg University|Computer Science|2023|
+
+<!-- ### Aalborg University
+
+**2019-2023** / Aalborg, Denmark
+
+* Bachelors Degree in Computer Science -->
+
+## Publications
+
+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)
+[©Springer-Verlag](https://www.springer.com/gp/computer-science/lncs)
+[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)
+
+<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>
+
+## Competitions
+
+* 2022: Senior Qualifier in the Danish Cyber Championships
+
+<!-- ## Languages
+
+<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>English</dt>
+<dd>Native writing and speaking</dd>
+<dt>Danish</dt>
+<dd>Fluent writing and speaking</dd>
+<dt>German</dt>
+<dd>Rusty</dd>
+<dt>Irish</dt>
+<dd>Rusty</dd>
+</dl> -->
+
+## Interests
+
+- Open source software
+- Web accessibility
+- Performance and utilization
+- Software security and privacy
+- Minimal user interface design
+- Linux systems
+
+Other: sailing, hiking/camping, permaculture, solarpunk, game dev, guitar.
+
+## References
+
+Available upon request.