coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PhD/Postdoc Positions at the Hamilton Institute, Ireland

From: Douglas Leith <doug.leith AT may.ie>
To: acl2 AT cs.utexas.edu, agents AT cs.umbc.edu, aimagazine AT aaai.org, alla AT cling.gu.se, amast-info AT cs.utwente.nl, announce AT sigart.acm.org, calculemus-ig AT dist.unige.it, caml-list AT pauillac.inria.fr, categories AT mta.ca, cav-all AT csa.cs.technion.ac.il, ccl-request AT dfki.uni-sb.de, ccp AT sics.se, clp AT comp.nus.edu.sg, compulog-deduction AT cs.bham.ac.uk, concurrency AT cwi.nl, coq-club AT pauillac.inria.fr, dbworld AT cs.wisc.edu, disc-announce AT listes.epfl.ch, distributed-ai AT jiscmail.ac.uk, dmanet AT zpr.uni-koeln.de, dv-alla AT cs.chalmers.se, eapls AT jiscmail.ac.uk, eatcs-it AT cs.unibo.it, ecoop-info AT ecoop.org, facs AT lboro.ac.uk, fapnews AT zib.de, fg121 AT sunjessen46.informatik.tu-muenchen.de, fm-info AT air16.larc.nasa.gov, formal-methods AT cs.uidaho.edu, fsdm AT it.uq.edu.au, haskell AT haskell.org, ifmsig AT cs.tcd.ie, info-hol AT leopard.cs.byu.edu, isabelle-users AT cl.cam.ac.uk, kgs AT dbai.tuwien.ac.at, lambda-usergroup AT dcs.ed.ac.uk, langcomp-people AT ling.gu.se, larc-swe AT larc.nasa.gov, lfcs-interest AT dcs.ed.ac.uk, lics AT research.bell-labs.com, linear AT cs.stanford.edu, logic-ml AT logic.jaist.ac.jp, lotos-world AT sanson.dit.upm.es, mdstud-alla AT mdstud.chalmers.se, mercury-ads AT cs.mu.oz.au, nuprllist AT cs.cornell.edu, om-announce AT lars.math.fsu.edu, opt-net AT zib.de, play AT tii.se, podc AT acm.org, prog-lang AT diku.dk, pvs AT csl.sri.com, qed AT mcs.anl.gov, quintus-users AT sics.se, reliable_computing AT interval.usl.edu, sicstus-users AT sics.se, stochver AT cs.bham.ac.uk, theorem-provers AT ai.mit.edu, theory-a AT vm1.nodak.edu, theorynt AT listserv.nodak.edu, types-wg AT durham.ac.uk, vdm-forum AT jiscmail.ac.uk, zforum AT prg.ox.ac.uk
Subject: [Coq-Club] PhD/Postdoc Positions at the Hamilton Institute, Ireland
Date: Fri, 31 Oct 2003 15:53:17 +0000
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Please pass on to interested students. Apologies for multiple copies.
----------------------------------------------------------------------------
------------------

PhD/Postdoc Positions, Hamilton Institute, Ireland

                           www.hamilton.ie

Applications are invited from well qualified candidates for a number of
research positions at the Hamilton Institute.  Candidates should have an
outstanding academic record.

We currently have opportunities in the following areas:

TCP CONGESTION CONTROL FOR  QoS
Owing to the AIMD algorithm that it employs for congestion control, TCP
traffic negatively impacts delay-sensitive voice and multimedia traffic
sharing the same network buffers.  One approach is to segregate traffic
throughout thenetwork, but a potentially much simpler approach is to amend
the TCP congestion control algorithm to make it friendlier to
delay-sensitive traffic.  In addition to analysis of fairness, efficiency,
stability, responsiveness this work will require experimental testing of
implementations in Linux.

LEARNING & NETWORK MODELLING
Our knowledge of the conditions experienced by traffic in the real internet
is remarkably limited. Particularly important features experienced by a
single traffic flow traversing a network include the number and type of
bottleneck links and cross-flow traffic interactions.   We need to develop
new models and measurement techniques of end-to-end network properties. This
will involve collaboration with research groups in the US & Europe and also
overlaps with our TCP protocol research.

QUALITY OF SERVICE IN 802.11e WIRELESS NETWORKS
Multimedia traffic, and in particular voice traffic, requires bounds on
delay and delay-jitter which are not supported by current wireless 802.11
protocols.  The 802.11e standard currently being ratified provides
mechanisms
for classifying and prioritising traffic.  We need to develop analytic
models of these new mechanisms and associated tuning algorithms to deliver
QoS.  This work will be in collaboration with Intel Ireland.

HYBRID SYSTEMS THEORY
Analysis and design of hybrid and switched linear systems. This includes
both computational and analytical methods and we are especially interested
in applications to decentralised, adaptive/reconfigurable and heterogeneous
systems.

The Hamilton Institute is a dedicated multi-disciplinary research centre
forming part of the National University of Ireland and located in Maynooth,
just outside Dublin. These posts offer an exciting opportunity for
successful
candidates to tackle fundamental research problems within a stimulating
multi-disciplinary research environment with state of the art facilities and
strong links to the international research community.

For further details visit www.hamilton.ie

[Coq-Club] PhD/Postdoc Positions at the Hamilton Institute, Ireland, Douglas Leith