### Position
The goal of this PhD is to design efficient models and tools for system observability
and fault injection.
Overall, this should enable assessing performance and correctness aspects of large-scale
systems and networks when subject to different conditions, workloads and fault patterns.
The position is in the scope of a broader project to address the reproducibility problems in
the experimental evaluation of distributed systems and networks. Experiment reproducibility
is a core tenet of the scientific method but unfortunately the increasing complexity of the
systems we build, deploy and evaluate makes it difficult to reproduce - and understand -
system behavior and experimental results in particular in adversarial environments.
## We seek
We are looking for a researcher with an independent mind who is willing to work on the
above topics and collaborate with a team of other researchers and students.
As background, we seek candidates with practical experience in the "system's side" of
designing and building distributed systems and networks.
The candidate should be proficient in written and spoken English.
As a research outcome, we expect publications in top-tier venues and (prototype) tools.
## Application details
The call is open from November 25th, 2019 to December 6th, 2019.
To discuss further details about the position please contact Prof. Miguel Matos (miguel.marques.matos AT tecnico.ulisboa.pt).
To apply check [eracareers](http://www.eracareers.pt/opportunities/index.aspx?task=global&jobId=120640).
## We offer
* One PhD position
* Funding for 12 months, with renewal subject to performance
* Possibility to work as a paid Teaching Assistant at the bachelor's and master's level
* A stimulating scientific environment with English as a working language
## Further information
* [Distributed System group at INESC-ID](http://www.gsd.inesc-id.pt/gsd-members/)
* [Professor Miguel Matos](http://www.gsd.inesc-id.pt/~mm/)
* http://angainor.science/open-positions
## About INESC-ID
[INESC-ID](https://www.inesc-id.pt/about-us/) is a research laboratory of Instituto Superior Técnico
(IST - Universidade de Lisboa) in the areas of Electrical and Computer Engineering and Computer Science.
INESC-ID's researchers regularly collaborate with the leading groups worldwide and publish their results
in the most competitive venues. Several of its researchers have been awarded some of the most important
recognitions in their fields, namely two IEEE Fellows, two ACM Distinguished Members, and one ERC Grant.
INESC-ID is highly involved not only in EU projects, networks of excellence and advanced training programs
but also in partnerships with major universities in Europe and the US.
--
Miguel Matos
Assistant Professor @ Instituto Superior Técnico, Universidade de Lisboa
Senior Researcher @ INESC-ID Lisboa
miguel.marques.matos@tecnico.ulisboa.pt
http://www.gsd.inesc-id.pt/~mm/ <http://www.gsd.inesc-id.pt/~mm/>
Tel.: +351 21 310 02 92
Rua Alves Redol, 9
1000-029 Lisboa
Portugal
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
