diff options
Diffstat (limited to 'build/resume')
| -rw-r--r-- | build/resume/index.html | 204 |
1 files changed, 0 insertions, 204 deletions
diff --git a/build/resume/index.html b/build/resume/index.html deleted file mode 100644 index 6e12c0e..0000000 --- a/build/resume/index.html +++ /dev/null @@ -1,204 +0,0 @@ -<!doctype html> -<html lang="en" id="top"> -<head> - <meta charset="utf-8"> - <meta name="viewport" content="width=device-width, initial-scale=1"> - <meta name="color-scheme" content="dark light"> - <link rel="icon" href="data:,"> - <title>Adam Stück</title> - <link href="https://adast.dk/atom.xml" type="application/atom+xml" rel="alternate" title="Atom feed for blog posts" /> - <style>*{box-sizing:border-box;}body{font-family:sans-serif;margin:0 auto;max-width:650px;padding:1rem;}img{max-width:100%;}pre{overflow:auto;}table{text-align:left;width:100%;}</style> -</head> - -<nav> - <a href="#menu">Menu ↓</a> -</nav> - -<main> -<h1>Adam Stück</h1> -<p><strong>Linux System Administrator & Software Engineer</strong><br> -adam@adast.dk<br> -🇩🇰 🇮🇪</p> -<p>Passionate about open source software, usability, performance, privacy, and -minimal design. </p> -<h2>Skills & Languages</h2> -<p>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.</p> -<!-- 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 --> -<h2>Experience</h2> -<table> -<tr><th>Title</th><th>Company</th><th>Duration</th></tr> -<tr><td>Junior Software Engineer</td><td>Sky Labs Aalborg</td><td>2023-Now</td></tr> -<tr><td>Student Programmer</td><td>E-Komplet A/S</td><td>2020-2023</td></tr> -<tr><td>Software Developer</td><td>OK Snacks A/S</td><td>2019</td></tr> -<tr><td>Junior Business Analyst</td><td>ADEC Arise</td><td>2017</td></tr> -<tr><td>Work Placement</td><td>ADEC Arise</td><td>2015</td></tr> -</table> -<!-- ### 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 --> -<h2>Education</h2> -<table> -<tr><th>Institution</th><th>Program</th><th>Completion</th></tr> -<tr><td>Aalborg University</td><td>Computer Science</td><td>2023</td></tr> -</table> -<!-- ### Aalborg University - -**2019-2023** / Aalborg, Denmark - -* Bachelors Degree in Computer Science --> -<h2>Publications</h2> -<p>1: <strong>Potency-Based Heuristic Search with Randomness for Explicit Model Checking</strong><br> -by E.G.Henriksen, A.M. Khorsid, E. Nielsen, Th. Risager, J. Srba, <strong>A.M. Stück</strong>, 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> -<a href="http://www.cs.aau.dk/~srba/files/HKNRSSS:SPIN:23.pdf">PDF</a> -<a href="https://www.springer.com/gp/computer-science/lncs">©Springer-Verlag</a> -<a href="https://link.springer.com/chapter/10.1007/978-3-031-32157-3_10">EE</a> -<a href="https://homes.cs.aau.dk/~srba/srba.html#HKNRSSS:SPIN:23">BibTex</a> </p> -<!-- <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> - --> -<h2>Competitions</h2> -<ul> -<li>2022: Senior Qualifier in the Danish Cyber Championships</li> -</ul> -<!-- ## 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> --> -<h2>Interests</h2> -<ul> -<li>Open source software</li> -<li>Web accessibility</li> -<li>Performance and utilization</li> -<li>Software security and privacy</li> -<li>Minimal user interface design</li> -<li>Linux systems</li> -</ul> -<p>Other: sailing, hiking/camping, permaculture, solarpunk, game dev, guitar.</p> -<h2>References</h2> -<p>Available upon request.</p> -<footer role="contentinfo"> - <hr> - <h3 id="menu">Menu Navigation</h3> - <ul> - <li><a href="/">Home</a></li> - <li><a href="/projects">Projects</a></li> - <li><a href="/services">Services</a></li> - <li><a href="/uses">Uses</a></li> - <li><a href="/resume">Resume</a></li> - <li><a href="/colophon">Colophon</a></li> - <li><a href="/now">Now</a></li> - <li><a href="/contact">Contact</a></li> - <li><a href="/donate">Donate</a></li> - <li><a href="/atom.xml">RSS</a></li> - <li><a href="#top">↑ Top of the page</a></li> - </ul> - <small> - Built with <a href="https://git.sr.ht/~bt/barf">barf</a>. <br> - Maintained with ♥ for the web. <br> - The content for this site is <a href="https://creativecommons.org/licenses/by-sa/4.0/">CC-BY-SA</a>.<br> - The <a href="https://git.sr.ht/~adamski/adast.dk">code for this site</a> is <a href="https://git.sr.ht/~adamski/adast.dk/tree/main/item/LICENSE">MIT</a>. - </small> -</footer> |