[TYPES/announce] Postdoctoral Research Fellowship
Edison Mera
efmera at gmail.com
Tue Feb 21 05:32:32 EST 2012
Dear Matthew Hennessy,
This mail is to express you my interest in the offered post-doctoral
position in the Software Systems Lab of the Department of Computer
Science at Trinity College Dublin, as described in your announcement.
Currently I am looking for a job in which my skills and capabilities
can be fully exploited and I am really motivated with the possibility
of working in your University, I see the offered position is very
related with my research field and skills.
I have a strong background in Computational Logic, resource analysis
and run-time verification, as proved by my "PhD in Computer Science
and Artificial Intelligence", thesis entitled "A Unified Framework for
Resource and Execution Time Analysis, Run-Time Checking and
Unit-Testing", where a framework for automatically inferring both
upper and lower bounds on the usage that a logic program makes of
general resources was presented, for example, you can analyze the
amount of energy, memory, time, bandwidth, or even monetary units that
a program requires, in particular the inference of execution time
(which is platform-dependent) was studied in detail in my thesis. The
system also is able to validate (or falsify) statically properties
written by the user, including (but not limited to) those related with
resource analysis, and for those properties that can not be verified
at compile time, a run-time check is generated. Finally, unit-tests
for the program are defined using the same assertion (or
specification) language and run-time checking machinery. The
unit-test and the run-time checking part was further published in the
ICLP 2009 Conference. This framework is able to work even with big
real Prolog Programs, for example, we analyzed the system itself which
have 10 megabytes/300.000 lines of source code!
Beyond my research interests, one of my best achievements in my PhD
position was the implementation of a testing framework as part of the
deployment of a continuous development environment, in which all
versions of the system are analyzed and tested each time a developer
introduce a change. Such framework consist of several parts,
beginning from unit-tests, several system tests, integration tests, up
to a tool to automatically configure and manage the compile farm that
execute the tests forever in several architectures (versions of
Windows, Linux, Mac OS X, and Solaris, in virtualized or real
machines). I began the development of this framework at the beginning
of my PhD studies, voluntarily, motivated mainly because the problems
present in the system before, prevented to me (and other coworkers) to
accomplish other responsibilities (e.g., the maintenance and
development of an installer required to have a system at least
syntax-error free, and to have more time to do researching). Thanks
to this tool, now developers do not waste their time trying to locate
old bugs that were introduced inadvertently and would be detected
running the tests. The earlier error detection is saving a lot of
time increasing the group productivity, in concrete, the developers
where able to reduce from 40% to 8% the number of failed ISO-Prolog
compliance unit-tests.
In addition to this, I have a strong knowledge implementing
applications using the Object Oriented Programming in several
languages, such as C++, Delphi (Object Oriented Pascal) and Java,
proved by my professional experience and my specialisation in
analysis, design and implementation in POO. I also have experience in
design and management of relational databases, I recommend you look at
my scores in http://www.brainbench.com (transcript id 185939) and the
open-source tools published in my blog http://edisonm.dyndns.org/blog/
As required in your announcement, let me recommend you 3 selected
papers I wrote:
1. E. Mera, T. Trigo, P. López, M. Hermenegildo. Profiling for
Run-Time Checking of Computational Properties and Performance
Debugging. LNCS 6539. Pages 38–53. Practical Aspects of
Declarative Languages, PADL 2011, 2007. Springer-Verlag. Austin,
Texas, USA. January 2011.
http://www.clip.dia.fi.upm.es/papers/profiling-padl11.pdf
2. E. Mera, P. López, M. Hermenegildo. Integrating Software Testing
and Run-Time Checking in an Assertion Verification Framework. LNCS
5649. Pages 281–295. International Conference on Logic
Programming, ICLP 2009. Springer-Verlag. Pasadena, California,
USA. July 2009.
http://www.clip.dia.fi.upm.es/papers/testchecks-iclp09.pdf
3. J. Navas, E. Mera, P. López, M. Hermenegildo. User-Definable
Resource Bounds Analysis for Logic Programs. LNCS 4670. Pages
348–363. International Conference on Logic Programming, ICLP 2007.
Springer-Verlag. Porto, Portugal. September 2007.
http://www.clip.dia.fi.upm.es/papers/resource-iclp07.pdf
If you are interested in other papers or documents, note that the
enclosed Curriculum Vitae have links in the title of each paper, so
you can click in the title to open or download it directly from the
Internet.
Professional References:
1. Manuel Hermenegildo. Research Professor and Scientific Director at
Imdea Software Institute. Madrid, Spain.
manuel.hermenegildo at imdea.org. +34-91-336-3742 ext 4101.
2. Pedro López García. Researcher at Imdea Software Institute.
Madrid, Spain. pedro.lopez at imdea.org. +34-91-336-3742 ext 4109.
3. Francisco López Fraguas. Full Professor at Computer Science
School, Director of DSIC Department. Complutense University of
Madrid. Spain. fraguas at sip.ucm.es. +34-91-394-7630.
Note: Felt free to ask them for recommendation letters if required.
Thank you for your time and consideration. Please do not hesitate to
contact me if you have any questions.
Best Regards,
Edison Mera.
2012/2/15 Matthew Hennessy <Matthew.Hennessy at cs.tcd.ie>
> [ The Types Forum (announcements only),
> http://lists.seas.upenn.edu/**mailman/listinfo/types-**announce<http://lists.seas.upenn.edu/mailman/listinfo/types-announce>]
>
> Apologies for Multiple Postings
> ------------------------------**--
>
>
> The Foundations of Global Computing - Trinity College Dublin
> Postdoctoral Research Fellowship
>
> Applications are invited for a post-doctoral position to
> undertake research into the foundations of Global Computing. The
> post is within the Software Systems Lab of the Department of
> Computer Science at Trinity College Dublin as part of an SFI-funded
> research project, under the direction of Matthew Hennessy, which seeks
> to establish a core of research expertise in behavioural
> theories of distributed systems and to encourage their application to
> strategically important domains such as Mobile computing,
> Web services and Wireless networks.
>
> Applicants should have a PhD in Computer Science, or a closely related
> discipline. Candidates with expertise in following areas are
> particularly welcome:
>
>
> - model checking
> - verification techniques
> - program logics
> - formal techniques for web services
>
>
> The post is tenable from April 2012 for a period of 12 months, with a
> possibility of renewal; the post will remain open until filled. The
> salary will be commensurate with the successful candidates'
> qualifications and experience, and in line with HEA guidelines.
> Further particulars of the posts may be obtained from the address
> below, and informal enquiries are also welcomed.
>
> Applications should include
> - detailed curriculum vitae, in pdf format
> - copies of relevant publications, or url-pointers to them
> - the names of three referees
> - a statement outlining the applicant's suitability to the project.
>
> Applications should be sent/emailed to:
>
> Matthew Hennessy
> Department of Computer Science
> The O'Reilly Institute
> Trinity College
> Dublin 2
> Ireland
> email: matthew.hennessy at cs.tcd.ie
> tel: +353 (01) 8962634
>
> Trinity College is an equal opportunities employer.
>
>
--
+-------------------------------------------+------------_.---.)--+
| Edison Fernando Mera Menendez | (^--^)_.-" `; |
| PhD in Computer Science | ) ee ( | |
| Technical University of Madrid | (_.__._) / |
| efmera at gmail.com | www.cliplab.org/edison | `--', ,' |
| +34-64-018-9493 | tinyurl.com/6agusby | fff )_|--')_| |
+-------------------------------------------+--------""'---""'----+
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20120221/638a5cb1/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: cv_edison.pdf
Type: application/pdf
Size: 91665 bytes
Desc: not available
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20120221/638a5cb1/attachment-0001.pdf>
More information about the Types-announce
mailing list