Compare commits
6 Commits
90bc584b7e
...
9befe4adea
| Author | SHA1 | Date | |
|---|---|---|---|
| 9befe4adea | |||
| 8987d0abf8 | |||
| e94918354c | |||
| 604a777c50 | |||
| e7e99ca155 | |||
| b7ef6b3ef6 |
@ -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.
|
||||
0
ada-core-cover-letter/commands.tex
Normal file
0
ada-core-cover-letter/commands.tex
Normal file
@ -1,7 +1,5 @@
|
||||
% Author: Sid Lacy
|
||||
|
||||
\documentclass[12pt]{letter}
|
||||
\usepackage[utf8]{inputenc} % Required for inputting international characters
|
||||
\documentclass[11pt]{letter}
|
||||
\usepackage[utf8]{inputenc}
|
||||
\usepackage[T1]{fontenc}
|
||||
\usepackage[empty]{fullpage}
|
||||
\usepackage[hidelinks]{hyperref}
|
||||
@ -9,18 +7,15 @@
|
||||
\usepackage{fontawesome}
|
||||
\usepackage{eso-pic}
|
||||
\usepackage[bitstream-charter]{mathdesign}
|
||||
%\usepackage{charter}
|
||||
%\usepackage[default]{raleway}
|
||||
\usepackage{ifthen}
|
||||
|
||||
\usepackage{geometry} % Required for adjusting page dimensions and margins
|
||||
|
||||
\usepackage{geometry}
|
||||
\geometry{
|
||||
paper=a4paper,
|
||||
top=1cm, % Top margin
|
||||
bottom=1.25cm, % Bottom margin
|
||||
left=2cm, % Left margin
|
||||
right=2cm, % Right margin
|
||||
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
|
||||
@ -80,7 +75,8 @@
|
||||
% Body
|
||||
%%%
|
||||
|
||||
\vspace{-0.1in}\setlength\parindent{24pt}
|
||||
%\setlength\parskip{20pt}
|
||||
\vspace{-0.1in}\setlength\parindent{0pt}
|
||||
\noindent\input{body.tex}
|
||||
|
||||
%%%
|
||||
|
||||
5
cv.tex
5
cv.tex
@ -17,12 +17,17 @@
|
||||
\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}
|
||||
|
||||
\usepackage{enumitem}
|
||||
\usepackage{ifthen}
|
||||
|
||||
\newboolean{include-sensitive}
|
||||
\setboolean{include-sensitive}{false}
|
||||
|
||||
\begin{document}
|
||||
|
||||
\input{header.tex}
|
||||
|
||||
@ -5,7 +5,7 @@
|
||||
{Present}
|
||||
{Software Developer}
|
||||
{Better Conversations Foundation}
|
||||
{After I have completed my degree I intend to return to the Better Conversations Foundation to continue the work I started the previous year as I look for a longer term role.}
|
||||
{After I completing my degree I returned to the Better Conversations Foundation to continue the work I started the previous year for the non-profit as I look for a longer term role.}
|
||||
\entry
|
||||
{Academic\,Year 2023/24}
|
||||
{Final Year Project, AI Applications in Lagrangian Physics}
|
||||
@ -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 Restructuring a core service to decrease code duplication and increase test \& type coverage.
|
||||
\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 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.
|
||||
@ -55,7 +55,7 @@
|
||||
{}
|
||||
{}
|
||||
{This role gave me an appreciation for how the interpersonal aspects of successful team are crucial for the overall success of a project. This was especially important when interfacing with the business side of the organisation on the direction of the project.\\
|
||||
\kwdlst{React, Express, Jest, Cypress, Redis, SQL, Postgres, HBase, Cloudera, Jenkins, Docker, Typescript, JavaScript, Linux, Microservices, Agile, Scrum}}
|
||||
\kwdlst{React, Redux, Express, Jest, Cypress, Redis, SQL, Postgres, HBase, Cloudera, Jenkins, Docker, Typescript, JavaScript, Linux, Microservices, Agile, Scrum}}
|
||||
\entry
|
||||
{2017 -- 2021\\\footnotesize{Holidays \& Part time}}
|
||||
{Software Developer}
|
||||
|
||||
34
header.tex
34
header.tex
@ -1,30 +1,30 @@
|
||||
\begin{minipage}[t]{0.45\textwidth} % 45% of the page width for name
|
||||
\vspace{-\baselineskip} % Required for vertically aligning minipages
|
||||
\begin{minipage}[t]{0.45\textwidth}
|
||||
\vspace{-\baselineskip}
|
||||
|
||||
% If your name is very short, use just one of the lines below
|
||||
% If your name is very long, reduce the font size or make the minipage wider and reduce the others proportionately
|
||||
\colorbox{Accent}{{\HUGE\textcolor{white}{\textbf{\MakeUppercase{Joshua}}}}} % First name
|
||||
\colorbox{Accent}{{\HUGE\textcolor{white}{\textbf{\MakeUppercase{Joshua}}}}}
|
||||
|
||||
\colorbox{Accent}{{\HUGE\textcolor{white}{\textbf{\MakeUppercase{Coles}}}}} % Last name
|
||||
\colorbox{Accent}{{\HUGE\textcolor{white}{\textbf{\MakeUppercase{Coles}}}}}
|
||||
|
||||
\vspace{6pt}
|
||||
|
||||
{\huge Full-stack Developer} % Career or current job title
|
||||
{\huge Full-stack Developer}
|
||||
\end{minipage}
|
||||
\begin{minipage}[t]{0.275\textwidth} % 27.5% of the page width for the first row of icons
|
||||
\vspace{-\baselineskip} % Required for vertically aligning minipages
|
||||
|
||||
% The first parameter is the FontAwesome icon name, the second is the box size and the third is the text
|
||||
% 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
|
||||
\begin{minipage}[t]{0.275\textwidth}
|
||||
\vspace{-\baselineskip}
|
||||
|
||||
\ifthenelse{\boolean{include-sensitive}}{%
|
||||
\icon{MapMarker}{12}{Bath / Reading}\\
|
||||
\icon{Phone}{12}{+44 7564 199236}\\
|
||||
\icon{At}{12}{\emailaddr{me@joshuacoles.me}}\\
|
||||
\icon{At}{12}{\emailaddr{me@joshuacoles.me}}\\
|
||||
}{%
|
||||
\icon{MapMarker}{12}{South England}\\
|
||||
\icon{At}{12}{{me at this domain}}\\\\
|
||||
Personal information \\ omitted in web version
|
||||
}
|
||||
\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
|
||||
\begin{minipage}[t]{0.275\textwidth}
|
||||
\vspace{-\baselineskip}
|
||||
|
||||
% The first parameter is the FontAwesome icon name, the second is the box size and the third is the text
|
||||
% 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{Globe}{12}{\href{https://git.joshuacoles.me/explore/repos}{Personal Gitea}}\\
|
||||
\icon{Github}{12}{\href{https://github.com/joshuacoles}{github.com/joshuacoles}}\\
|
||||
\icon{Linkedin}{12}{\href{https://www.linkedin.com/in/joshua-coles-a79498151/}{LinkedIn}}\\
|
||||
|
||||
@ -3,7 +3,7 @@
|
||||
\newboolean{include-references}
|
||||
\setboolean{include-references}{true}
|
||||
|
||||
\ifthenelse{\boolean{include-references}}
|
||||
\ifthenelse{\boolean{include-references} \AND \boolean{include-sensitive}}
|
||||
{
|
||||
\begin{entrylist}
|
||||
\entry
|
||||
|
||||
Loading…
Reference in New Issue
Block a user