Motivation letter for a Ph.D.
I have written a draft for a motivation letter, which i'll include in a Ph.D. application.
Because, at the moment, I don't have acces to someone from whom I can get feed back, I'll post it here, and hopefuly someone will be able to read it and comment.
Thank you in advance to whom might read it.
To whom it may concern,
Application for the XXX Ph.D. Program
The present letter will explain the reasons why I'm applying to a Ph.D.
degree.
By enrolling on the undergraduate course on Systems and Informatics
Engineering at the XXX University, I came in contact with different
paradigms, technics and methodologies for software development.
In the early years of my studies at the university I was a student of
Professor XXX which introduced
me to the basis of Formal Methods for software development and verification.
Soon I discovered the interest for Formal Methods, and
got involved in the Grand Challenge in Computer Science initiative.
This experience gave me a taste of what research in Formal Methods is.
Before terminating the under-graduation I entered another challenge like
project, forming a team of students like my self for the XXX
contest, under the category of Software Design.
We made it through to the XXX finals with a project for a
distributed environment where mobile devices could be used to increment the
contents already available on social data sources like Wikipedia, and others.
Enrolling in the MSc on Informatics at XXX was a natural choice in order to
keep working with, and in, Formal Methods,
allowing me to continue the research in the context of the Grand Challenge.
My thesis subject is XXX, which includes
building formal models of a informal specification and it's correction
verification.
Under Professor XXX's supervision I have done research on the
possibility to use different tools for different aspects of the formal
development and verification of software.
Which lead to a paper submitted and, presented by me, on the XXX
Workshop at the XXX symposium.
The contact with researchers from all over the world made me want to keep
doing research on Formal Methods, and push the Grand Challenge initiative
further with my contribution.
In 2007 I was invited to join a development team, as a junior developer, to
design and build an information system for the "Xxx Xxx Xxx" (XXX).
From November/2007 to May/2008 I worked at the XXX facilities together with
domain experts to design and build the software system, while maintaining the
research related with my MSc studies at the university.
I believe that through Formal Methods one can achieve true engineering
concepts for software correction by construction, and that, due to the
overwhelming expansion of software applications, not only critical systems
should be proven safe and correct.
Nowadays software is embedded in almost every system we use, and in most
cases,
the producers os these artifacts not only don't provide warranty, but will
relieve themselves from any obligation with disclaimer notices.
Formalizing software development, as other engineering driven development
communities have done in the past, will give it scientific grounds to hold on,
and probably increase its quality.
Kind Regards,
XXX
Top answer
Comments:- 1) Professor *** which introduced – here I think you’ll find in the name of the Professor, so which should be who . 2) Before terminating the under-graduation I entered another challenge like project, shouldn’t they be Before termination of my undergraduate studies, I entered another challenge like a project, or Before termination of my undergraduate studies, I entered another challenging project, or Before termination of my undergraduate studies, I entered another challenge for a like project, 3) where mobile devices could be used to increment the contents – shouldn’t it be increase 4) a informal specification shouldn’t it be an 5) it's correction verification shouldn’t it be its 6) possibility to use different tools shouldn’t they be of using 7) verification of software. Which lead to a paper submitted and, presented by me, on shouldn’t they be verification of software leading to a paper being submitted and, presented by me, on 8) and that, due to the overwhelming expansion of software applications, not only critical systems should be proven safe and correct shouldn’t they be and that, owing to the overwhelming expansion of software applications, critical systems should additionally be proven safe and correct 9) the producers os these artifacts shouldn’t it be of
- Comments:- 1) Professor *** which introduced – here I think you’ll find in the name of the Professor, so which should be who .
- 2) Before terminating the under-graduation I entered another challenge like project, shouldn’t they be Before termination of my undergraduate studies, I entered another challenge like a project, or Before termination of my undergraduate studies, I entered another challenging project, or Before termination of my undergraduate studies, I entered another challenge for a like project, 3) where mobile devices could be used to increment the contents – shouldn’t it be increase 4) a informal specification shouldn’t it be an 5) it's correction verification shouldn’t it be its 6) possibility to use different tools shouldn’t they be of using 7) verification of software.
- Which lead to a paper submitted and, presented by me, on shouldn’t they be verification of software leading to a paper being submitted and, presented by me, on 8) and that, due to the overwhelming expansion of software applications, not only critical systems should be proven safe and correct shouldn’t they be and that, owing to the overwhelming expansion of software applications, critical systems should additionally be proven safe and correct 9) the producers os these artifacts shouldn’t it be of
Get the Weekly English Kit 📬
New words, one handy idiom, and a 2-minute quiz — delivered to your inbox to keep your streak alive.
1) Professor *** which introduced – here I think you’ll find in the name of the Professor, so
which should be who.
2) Before terminating the under-graduation I entered another challenge like
project, shouldn’t they be Before termination of my undergraduate studies, I entered
0I'll review and rewrite according to your correctons.
I'll post back the result
0
Related Questions