2017 - current
Software Engineer
Apple Inc.

Leading and developing certification tools for HomeKit accessories

2015 - 2017
Software Engineer
Apple Operations Europe

Developing, arcitechturing and running several applications supporting Apples ecosystem certification programs.

2014 - 2015
Software Engineer (JavaScript)
Apozy Inc.

Working as a full-stack JavaScript developer, with a Node.js, MongoDB and Redis based backend, and with AngularJS, Bootstrap and HTML5 based front-end. In addition, I am responsible for web-ops processes like automatic deploy, server provisioning and cofiguration using Salt.

2013 - 2014
Software Systems Engineer/Team Lead
LitePoint Inc.

I led the developement of a software project that aided RF-engineers with data analyzis and vizualizations. The tool was build around a JavaScript platform with a stand-alone front-end, a data-sharing backend, and an auto pdf-report generating tool. Leading the project involved planning realeases that has to fullfil requirements from both internal engineering departments and external customers. Project stability was achieved using dedicated QA-engineers

2010 - 2013
Ph.D fellow
Aalborg University - Department of Computer Science

I was a Ph.D. fellow in the Embedded and Distributed Systems group. In my Ph.D., I am making formal verification more applicable in modern software development processes. Many of the existing formalisms are not expressive enough to model modern software systems. I am working towards extending this expressiveness while preserving the possibility of using the models for model checking. My main focus is on systems developed in software product lines and on systems based on asynchronously communicating components. My thesis is based on publications [0-4], and can be found on github.com/mikaelhm/phd.

2011 - present
Founder (Web Consultant/System admin)
Mikael Harkjær Møller

I am running my own small web-consultancy bureau. The majority of the projects have revolved around customized Wordpress-based websites. However, I am also developing more involved and custom solutions, like a monitoring system for a holiday house and a heating control system for a minor factory.

2011 - present
Co-Founder (System Administrator)

Urhost is a small web-hosting company that I founded with a phd-colleague. Urhost specializes in dedicated Typo3 and Wordpress solutions.

2007 - 2010
Web-developer (student-job)
Sanistål A/S

I worked as a student developer on a web-shop front-end for a major Danish wholesale company. The front-end was implemented using XHTML, CSS, JavaScript, and PHP.


Aalborg University - 2013
Ph.D. Degree from Computer Science and Engineering

Aalborg University - 2010
Master of Science in Computer Science (Cum Laude)

Aalborg University - 2008
Bachelor of Science in Computer Science and Mathematics


Programming Languages
Swift, Objective-C, Ruby, JavaScript, JSON, Yaml, Bash

Mastered Technologies/Frameworks
Ruby on Rails, HAML, Node.js, Chef, JSON, XML, MySQL, Nginx, Git, Web Services, Docker, LaTeX

How to get a hold of me

700 Chiquita Ave, Apt. 3, Mountain View, 94041, California, USA

+1 669-600-9361