[TYPES/announce] PhD position "Efficient and natural proofs and algorithms" at University of Bath

[Willem Heijltjes]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

We are recruiting for a PhD position "Efficient and natural proofs and 
algorithms"

  Funding:  Competition funded (EU/UK)
  Deadline: 31 October 2018 - early application recommended
  Start:Before 1 April 2019

  People:   Dr. Alessio Guglielmi   a.guglie...@bath.ac.uk
Dr. Willem Heijltjesw.b.heijlt...@bath.ac.uk

  Mathematical Foundations Group
  Department of Computer Science
  University of Bath


= Description =

Proofs and algorithms are everyday objects in our discipline, but they are 
still very mysterious. Suffice to say that we are currently unable to decide 
whether two given proofs or two given algorithms are the same; this is an old 
problem that dates back to Hilbert. Also, proofs and algorithms are intimately 
connected in the most famous open problem in mathematics: P vs NP. 

We make progress by trying to unveil the fundamental structure behind proofs 
and algorithms, what we call their semantics. In other words, we are interested 
in the following questions: 

  What is a proof? 
  What is an algorithm? 
  How can we define them so that they have efficient and natural semantics? 

The questions above are interesting in their own right, but we note that 
answering them will enable technological advances of great impact on the 
society and the economy. For example, it will be possible to build a worldwide, 
universal tool for developing, validating, communicating and teaching 
mathematics. Also, quickly producing provably bug-free and secure software will 
become possible, so solving one of the most complex and important open 
engineering problems. 

In order to understand proofs and algorithms we create new mathematics starting 
from proof theory and semantics. The methods we use are mostly discrete, 
algebraic and combinatorial, but there is a growing geometrical component. The 
recent advances which our methods are mostly based on are linear logic, game 
semantics and deep inference. 

You can find more information at 

  http://alessio.guglielmi.name/res/cos/ 

Our group is very well financed via several grants. Thanks to our international 
relations, working with us means having a truly multicultural experience 
together with all the researchers at the forefront of this worldwide research 
effort. As a result, all our graduates work and publish at the highest level. 
The facilities at the University of Bath are outstanding and the city is so 
beautiful that UNESCO recognises it as a World Heritage Site. 


= Contact =

For questions about the project or the application process, please contact us: 
  Alessio Guglielmi   a.guglie...@bath.ac.uk
  Willem Heijltjesw.b.heijlt...@bath.ac.uk


= How to apply =

Applicants should hold, or expect to gain, a First Class or good Upper Second 
Class Honours degree, or the equivalent from an overseas university. A master’s 
level qualification would also be advantageous. 

Formal applications should be made via the University of Bath’s online 
application form for a PhD in Computer Science: 

  
https://samis.bath.ac.uk/urd/sits.urd/run/siw_ipp_lgn.login?process=siw_ipp_app=RDUCM-FP01=0013
 

Application deadline: 31 October 2018. 

Note: We are hoping to fill this position as quickly as possible and 
applications may close earlier than the advertised deadline if a suitable 
candidate is found; early application is therefore recommended.

Start date: negotiable, but by 1 April 2019 at the latest.

See also the advertisement here:

  https://www.findaphd.com/search/ProjectDetails.aspx?PJID=100543


= Funding =

Research Council funding is available on a competition basis to Home and EU 
students who have been resident in the UK for 3 years prior to the start of the 
project. For more information on eligibility, see:

  https://epsrc.ukri.org/skills/students/help/eligibility/

Funding will cover Home/EU tuition fees, a stipend (£14,777 per annum for 
2018/19) and a training support fee of £1,000 per annum for 3.5 years. 

Applicants classed as Overseas for tuition fee purposes are NOT eligible for 
funding; however, we welcome all-year-round applications from self-funded 
candidates and candidates who can source their own funding.

[TYPES/announce] Lecturer in Computer Science position available at Royal Holloway, University of London (deadline: 17 Oct 2018)

[Nicola Paoletti]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


Lecturer in Computer Science
Department of Computer Science, Royal Holloway, University of London (UK)
Application closing date: Wednesday 17 October 2018
Interview date: Thursday 08 November 2018
Please apply at: https://jobs.royalholloway.ac.uk/vacancy.aspx?ref=0918-375


The Department of Computer Science at Royal Holloway is now recruiting for
an academic member of staff who can strengthen our research, which falls
broadly within Artificial Intelligence, Algorithms and Complexity,
Distributed and Global Computing, and Software Language Engineering; we
also have strong connections with the Information Security Group. The
successful candidate will help us seek and seize opportunities for research
funding and industrial engagement. They will hold a PhD or equivalent, and
will have a proven research record in any of those areas, with a solid
background in the underlying theory. Experience in attracting funding,
engaging with industry, or contributing to outreach activities would also
be valuable.

The appointee will be expected to contribute across the full range of
departmental activities, including undergraduate and postgraduate teaching
and the supervision of mainstream projects over a wide range of topics. In
particular, duties and responsibilities of this post include: conducting
individual or collaborative research projects; producing high-quality
outputs for publication in high-profile journals or conference proceedings;
delivering high-quality teaching to all levels of students; supervising
research postgraduate students.

This is a full-time and permanent (tenured) post, available from April 2019
or as soon as possible thereafter. The post is based in Egham, Surrey (UK),
within commuting distance from London, Europe’s most dynamic technology
hub.

*About the Department*
The Department of Computer Science at Royal Holloway carries out
outstanding research and delivers excellent teaching at both undergraduate
and postgraduate level: we ranked 11th in the Research Excellence Framework
(REF 2014) for the quality of our research output, and our average rating
for Teaching Excellence Framework criteria in the 2017 National Student
Survey placed us 4th among research-intensive UK universities.

Over the past five years, we have undertaken an ambitious plan of
expansion: eleven new academic members of staff were appointed, new
undergraduate and integrated-masters programmes were created, and five new
postgraduate-taught programmes were launched. We are involved in multiple
inter/multidisciplinary activities, from electrical engineering to
psychology and social sciences.  The critical mass achieved by our research
centres in information security and machine learning is also generating
many approaches from potential users and collaborators.

For further details of the Department see
royalholloway.ac.uk/computerscience or contact the Head of Department at
jose.fiade...@rhul.ac.uk.

-- 
Nicola Paoletti
Lecturer - Department of Computer Science - Royal Holloway, University of
London
McCrea 244
https://nicolapaoletti.com/