diff options
Diffstat (limited to 'pages/resume.md')
| -rw-r--r-- | pages/resume.md | 181 |
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. |