From: Marco Gaboardi <m.gaboardi@dundee.ac.uk>
To: "caml-list@inria.fr" <caml-list@inria.fr>
Cc: Marco Gaboardi <m.gaboardi@dundee.ac.uk>
Subject: [Caml-list] One PhD position for EU students available at the University of Dundee, Scotland.
Date: Mon, 31 Mar 2014 10:13:29 +0000 [thread overview]
Message-ID: <9A8B794A-3C6F-4970-9D03-0325270ACB35@dundee.ac.uk> (raw)
One PhD position for EU students available at the University of Dundee, Scotland.
Contact
———————————
Marco Gaboardi - m.gaboardi@dundee.ac.uk
Profile
———————————
The subject of the studentship is programming language semantics and implementation. The specific topic for the studentship will depend on the interests and expertise of the potential candidate. Possible topics are: language-based privacy and security, type systems, probabilistic programming, interactive theorem proving, logics and applications, program analysis tools.
Conditions
———————————
The studentship covers 3 years with a standard stipend of about £13-14k a year plus some eligible travel and consumables.
Requirements
———————————
The position is only for EU students. The ideal candidate must show a solid mathematical background and interest in theoretical and/or practical works.
Previous experience in one or more of the areas described in the profile will be considered a plus.
How to apply
———————————
The position is available immediately. Candidates must contact Marco Gaboardi - m.gaboardi@dundee.ac.uk
Dundee and the university
———————————
Dundee is the fourth-largest city in Scotland and it is well connected with Edinburgh, Glasgow and Aberdeen. Dundee is promoted as 'One City, Many Discoveries' in honor of Dundee's history of scientific activities and of the RRS Discovery exploration vessel, which is berthed in the city harbor. Biomedical, technological and video game industries have been important for the development of the city in the last 20 years.
The University of Dundee counts about 18.000 students and is situated in the city center. The university is ranked in the World's Top 250 Universities and has been voted one of the best universities in the UK for student experience.
http://en.wikipedia.org/wiki/Dundee
http://www.dundee.ac.uk
The Theory of Computation group
———————————
The Theory of Computation group focuses on research into different areas covering functional programming, program analysis, computational logic, machine learning, constraint programming, graph theory, algorithms and applications like privacy, security, complexity, optimisation, and artificial intelligence.
The University of Dundee is a registered Scottish Charity, No: SC015096
reply other threads:[~2014-03-31 10:13 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=9A8B794A-3C6F-4970-9D03-0325270ACB35@dundee.ac.uk \
--to=m.gaboardi@dundee.ac.uk \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox