Submit application

Next focus block is research key points

ada-core-cover-letter/LICENSE

@@ -0,0 +1,3 @@
+Author: Sid Lacy
+License: Creative Commons CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/)
+Source: Overleaf Template Gallery (https://www.overleaf.com/latex/templates/simple-cover-letter/jmkbrdnmxmbn)

ada-core-cover-letter/body.tex

@@ -0,0 +1,15 @@
+I am writing to express my interest in the Software Developer role in Bristol. With a strong foundation in mathematics and physics from my degree, I have a deep appreciation for formal, rigorous methods and their applications to real world problems. I am excited by the opportunity to contribute to AdaCore's mission of helping developers build safe, secure, and reliable software.
+
+I find that good, robust, tools are essential for efficient work everywhere, and creating them is a driving force for me. In my previous role at the Office for National Statistics, I took an active role in developing and improving the tools used by the team, in development and production. A key example of this was the debugging tool that I developed to assist in the analysis of issues in an isolated production environment dealing with sensitive data from the Census and other sources.
+I worked across the entire application stack, from front-end to CI/CD and data ingestion, covering a range of technologies and contexts.
+In addition, I leveraged my interpersonal skills to foster strong working relationships with colleagues, facilitating effective communication and collaboration across the team.
+This adaptability allowed me to assist different developers as needed and brought cohesion to the team by providing a common perspective.
+During this role, I also took on the responsibility of release manager, ensuring that the code quality and deadlines were met within a tight release schedule.
+
+Throughout my programming journey, I have always been drawn to strongly typed languages, recognising their immense value in ensuring product quality and enhancing developer productivity.
+I find the assurance these languages provide to be invaluable in catching potential issues early and promoting a more robust development process.
+I firmly believe that moving verification earlier in the overall project development loop amplifies the benefits of this approach, leading to safer, more secure, and more reliable software systems.
+I understand this conviction aligns well with Ada's design philosophy and AdaCore's commitment to empowering developers to prioritise these qualities. Having greatly enjoyed the rigorous and proof-driven aspects of my mathematics and physics education, I am excited by the prospect of working with Ada and contributing to the development of Alire.
+
+With my strong technical background, a passion for developing reliable tools and deep appreciation for formal methods, I am confident that I can make a significant contribution to AdaCore as a Software Developer.
+I am genuinely excited about the opportunity to join AdaCore and work on projects that align with my passion for creating impactful tools and promoting reliable software. Thank you for considering my application. I look forward to the opportunity to discuss further how my skills and experience can contribute to the success of AdaCore and the development of Alire.

ada-core-cover-letter/closer.tex

@@ -0,0 +1,12 @@
+% Closer
+\vspace{0.1in}
+\vfill
+
+\begin{flushright}
+\closer,
+
+\ifthenelse{\boolean{include-signature}}{\vspace{-0.1in}\includegraphics[width=1.5in]{sig.png}\vspace{-0.1in}}{}
+
+\myname\\
+\mytitle
+\end{flushright}

ada-core-cover-letter/header.tex

@@ -0,0 +1,22 @@
+% Shaded header banner
+\AddToShipoutPictureBG{%
+\color{TopBackground}
+\AtPageUpperLeft{\rule[-\shadedheight]{\paperwidth}{\shadedheight}}
+}
+
+% Header
+\begin{center}
+{\fontsize{28}{0}\selectfont\scshape \myname}
+
+\vspace{0.2cm}
+	\icon{MapMarker}{12}{Bath / Reading}
+	\hfill
+	\icon{Phone}{12}{\tel{+44 7564 199236}}
+	\hfill
+	\icon{At}{12}{\emailaddr{me@joshuacoles.me}}
+	\hfill
+	\icon{Github}{12}{\href{https://github.com/joshuacoles}{joshuacoles}}
+%	\icon{Linkedin}{12}{\href{https://www.linkedin.com/in/joshua-coles-a79498151/}{LinkedIn}}
+\end{center}
+
+\vspace{0.75cm}

ada-core-cover-letter/info.tex

@@ -0,0 +1,29 @@
+%%%%
+% Personal information
+%%%%
+
+\newcommand{\myname}{Joshua Coles}
+\newcommand{\mytitle}{Applicant}
+\newcommand{\myemail}{me@joshucoles.me}
+\newcommand{\mylinkedin}{https://www.linkedin.com/in/joshua-coles-a79498151/}
+\newcommand{\myphone}{+44 7564 199236}
+\newcommand{\mylocation}{Bath / Reading, UK}
+
+%%%%
+% Company Information
+%%%%
+
+\newcommand{\recipient}{Hiring Manager}
+\newcommand{\greeting}{Dear}
+\newcommand{\closer}{Kind Regards}
+
+\newboolean{include-signature}
+\setboolean{include-signature}{false}
+
+\newboolean{include-company-address}
+\setboolean{include-company-address}{false}
+
+\newcommand{\company}{AdaCore}
+\newcommand{\companyaddress}{
+1 Microsoft Way\\
+Redmond, WA\ 98052}

ada-core-cover-letter/main.tex

@@ -0,0 +1,88 @@
+\documentclass[11pt]{letter}
+\usepackage[utf8]{inputenc}
+\usepackage[T1]{fontenc}
+\usepackage[empty]{fullpage}
+\usepackage[hidelinks]{hyperref}
+\usepackage{graphicx}
+\usepackage{fontawesome}
+\usepackage{eso-pic}
+\usepackage[bitstream-charter]{mathdesign}
+\usepackage{ifthen}
+
+\usepackage{geometry}
+\geometry{
+	paper=a4paper,
+	top=1cm,
+	bottom=1.25cm,
+	left=2cm,
+	right=2cm,
+	headheight=0.75cm, % Header height
+	footskip=1cm, % Space from the bottom margin to the baseline of the footer
+	headsep=0.5cm, % Space from the top margin to the baseline of the header
+%	showframe, % Uncomment to show how the type block is set on the page
+}
+
+\newcommand{\shadedheight}{3.5cm}
+\definecolor{TopBackground}{RGB}{225,225,225}
+\definecolor{Accent}{HTML}{367DA2}
+
+\input{info.tex}
+
+\begin{document}
+
+\newcommand{\emailaddr}[1]{\href{mailto:#1}{#1}}
+\newcommand{\tel}[1]{\href{tel:#1}{#1}}
+
+% Command to vertically centre adjacent content
+\newcommand{\vcenteredhbox}[1]{% The only parameter is for the content to centre
+	\begingroup%
+		\setbox0=\hbox{#1}\parbox{\wd0}{\box0}%
+	\endgroup%
+}
+
+\newcommand{\icon}[3]{%
+	\vcenteredhbox{\colorbox{Accent}{\makebox(#2, #2){\textcolor{white}{\large\csname fa#1\endcsname}}}}% Icon and box
+	\hspace{0.2cm}% Whitespace
+	\vcenteredhbox{#3}% Text
+}
+
+%%%
+% Header
+%%%
+
+\input{header.tex}
+
+
+%%%
+% Opening block
+%%%
+
+% Date
+\today \\
+
+% Address
+\vspace{-0.1in}\recipient\\\company\\
+\ifthenelse{\boolean{include-company-address}}
+{\companyaddress\\}
+{}
+
+
+% Greeting
+\vspace{-0.1in}
+\greeting\ \recipient, \\
+
+%%%
+% Body
+%%%
+
+%\setlength\parskip{20pt}
+\vspace{-0.1in}\setlength\parindent{0pt}
+\noindent\input{body.tex}
+
+%%%
+% Closer
+%%%
+
+\input{closer.tex}
+
+\end{document}

cv.tex

@@ -17,6 +17,8 @@
 \definecolor{Accent}{HTML}{367DA2}
 \definecolor{BarTitle}{HTML}{000000}
 \definecolor{BarColor}{HTML}{000000}
+\definecolor{BarTitle}{HTML}{1C2331}
+\definecolor{BarColor}{HTML}{1C2331}
 \definecolor{SectTitleColor}{HTML}{367DA2}
 \definecolor{EntryTitleColor}{HTML}{367DA2}
 

experiences.tex

@@ -45,8 +45,8 @@
 		{For my placement I joined a team working on software for processing the results of the 2021 Census. After the end of my placement I was kept on to assist with the next phase of product development and solution design. In this role I worked with sensitive data from the Census in isolated production environments and thus obtained SC clearance. Key contributions include,
 		\begin{itemize}[itemsep=-2.5pt,topsep=2pt]
 			\item Taking a leading role as release manager for the product and was heavily involved in requirements gathering for the new features.
-			\item Developing tools for debugging and observability in sensitive production environments.
+			\item Developing tools for debugging and observability in sensitive production environments, greatly increasing the our ability to diagnose production issues quickly.
-			\item Restructuring a core service to decrease code duplication and increase test \& type coverage.
+%			\item Restructuring a core service to decrease code duplication and increase test \& type coverage.
 			\item Designing architectures for the next stage of the project to address additional business needs.
 		\end{itemize}}
 % Split of ONS entry to keep CV on two pages.
@@ -77,5 +77,5 @@
 			\item Centralised database for cross-domain analytics.
 		\end{itemize}
 		A history of these is available on my \href{https://github.com/joshuacoles}{\underline{GitHub}} or \href{https://git.joshuacoles.me/explore/repos}{\underline{personal Gitea}}, along with this \href{https://git.joshuacoles.me/joshuacoles/cv}{\underline{CV and build process}}.
-		\\\kwdlst{Rust, CI/CD, Github actions, Postgres, Caddy, Docker, System administration of internet connected servers}}
+		\\\kwdlst{Rust, CI/CD, Github actions, Postgres, Caddy, Docker, Docker Compose, System administration}}
 \end{entrylist}

header.tex

@@ -18,7 +18,7 @@
 	% Other icons can be found by referring to fontawesome.pdf (supplied with the template) and using the word after \fa in the command for the icon you want
 	\icon{MapMarker}{12}{Bath / Reading}\\
 	\icon{Phone}{12}{+44 7564 199236}\\
-	\icon{At}{12}{\emailaddr{josh@coles.to}}\\	
+	\icon{At}{12}{\emailaddr{me@joshuacoles.me}}\\	
 \end{minipage}
 \begin{minipage}[t]{0.275\textwidth} % 27.5% of the page width for the second row of icons
 	\vspace{-\baselineskip} % Required for vertically aligning minipages