Dane Sabo
b99f8feec3
M .task/backlog.data M .task/completed.data M .task/pending.data M .task/undo.data A "Writing/INL Cover Letter/Next_Semester_Schedule.pdf" A "Writing/INL Cover Letter/cover_letter.pdf" A "Writing/INL Cover Letter/main.aux" A "Writing/INL Cover Letter/main.fdb_latexmk"
52 lines
2.4 KiB
TeX
52 lines
2.4 KiB
TeX
\documentclass{letter}
|
|
\usepackage[margin=1.65in]{geometry}
|
|
\signature{Dane Sabo}
|
|
\address{769 Shady Drive East\\ Apartment 303\\ Pittsburgh, PA 15228}
|
|
|
|
\begin{document}
|
|
|
|
\begin{letter}{Idaho National Laboratory\\ 1955 Freemont Ave\\ Idaho Falls, ID
|
|
83415}
|
|
|
|
\opening{Dear Hiring Manager,}
|
|
|
|
% I am writing to express my interest in an internship position at Idaho National
|
|
% Laboratory, specifically within your automatic reactor control, microgrid and
|
|
% distributed energy, and provable nuclear cybersecurity research areas. As an NRC
|
|
% Graduate Fellow and Ph.D. student in Mechanical Engineering at the University of
|
|
% Pittsburgh, my research directly aligns with INL's mission to advance nuclear
|
|
% energy systems through innovative control methodologies and cybersecurity
|
|
% solutions. My planned dissertation focuses on developing formal synthesis
|
|
% methods for hybrid controllers in nuclear power applications, combining reactive
|
|
% synthesis with control theory to create autonomous systems with provable safety
|
|
% guarantees.
|
|
%
|
|
% My technical background and planned dissertation work position me well to
|
|
% contribute to INL's research thrusts. My dissertation will develop methods for
|
|
% translating operating procedures into temporal logic specifications,
|
|
% synthesizing provably correct discrete control logic, and verifying continuous
|
|
% control behavior across mode transitions. I have experience with
|
|
% hardware-in-the-loop validation on industry platforms like the Emerson Ovation
|
|
% system and work on virtualized networks for control system simulation. My
|
|
% coursework in advanced dynamics and nonlinear systems, combined with practical
|
|
% experience in embedded C/C++ and Python, provides a foundation for tackling
|
|
% problems in automatic reactor control, cybersecurity, and distributed energy
|
|
% systems.
|
|
%
|
|
% An internship at INL would provide an opportunity to advance my research while
|
|
% contributing to the laboratory's work in nuclear energy innovation. I am
|
|
% particularly excited about applying formal methods expertise to real-world
|
|
% reactor control challenges and collaborating with INL researchers to develop
|
|
% next-generation autonomous control systems.
|
|
%
|
|
% Thank you for your consideration of my application.
|
|
|
|
After this current semester, I will have completed my didactic course
|
|
requirements. Next semester, I will be be doing research credits full-time.
|
|
|
|
\closing{Best regards,}
|
|
|
|
\end{letter}
|
|
|
|
\end{document}
|