* PhD position
@ 2015-01-14 20:16 Neil Ghani
0 siblings, 0 replies; 6+ messages in thread
From: Neil Ghani @ 2015-01-14 20:16 UTC (permalink / raw)
To: categories
******************************************************************
*** PhD Position
***
*** Categories, Coalgebras and Types
***
*** Mathematically Structured Programming Group
*** University of Strathclyde
***
******************************************************************
Applications are invited for PhD study under the supervision of Prof Neil Ghani and Dr Conor McBride on any of the following topics
* Dependently Typed Programming
* Homotopy Type Theory
* Coalgebra
* Category Theory in Computer Science
The position is fully funded for EU students (apologies to non EU-citizens for this ridiculous piece of non-meritocracy) and will last for 3 years.The applicant's motivation must centre on a desire for beautiful mathematics of lasting value. The applicant should also have an innate sense of the wonder of learning allied to the capacity to work hard and achieve their goals.
The Mathematically Structured Programming Group's vision is to use mathematics to understand the nature of computation, and to then turn that understanding into the next generation of programming languages. This reflects the symbiotic relationship between mathematics, programming, and the design of programming languages --- any attempt to sever this connection will diminish each component. In order to achieve these research goals we mainly use ideas from category theory, type theory and functional programming. Besides Professor Neil Ghani and Dr Conor McBride, the group consists of a number of internationally leading researchers including Dr Clemens Kupke, Dr Ross Duncan, Dr Robert Atkey and Dr Fredrick Norvall-Forsberg as well as a number of PhD students.
So, if you are interested in Neil-and-Conor studies, please contact us. Applications will be considered on a first come, first served basis.
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] 6+ messages in thread
* PhD position
@ 2020-01-22 15:13 Neil Ghani
0 siblings, 0 replies; 6+ messages in thread
From: Neil Ghani @ 2020-01-22 15:13 UTC (permalink / raw)
To: Categories list
Dear All,
Do any of you know a good student who wants to do a PhD using
category theory in computer science? We have a place available for anyone interested in
category theory and its applications to things like AI and game theory.
I'd be grateful if you could forward this to anyone interested (or any internal email lists)
and ask them to contact me.
All the best
Neil
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] 6+ messages in thread
* PhD Position
@ 2011-09-10 7:00 Neil Ghani
0 siblings, 0 replies; 6+ messages in thread
From: Neil Ghani @ 2011-09-10 7:00 UTC (permalink / raw)
To: categories
PhD Position
in
Category Theory and Functional Programming
Department of Computer and Information Sciences
University of Strathclyde, Scotland
Applications are invited for one PhD position within the Mathematically
Structured Programming group at the University of Strathclyde. The group
comprises Prof. Neil Ghani, Dr. Patricia Johann, Dr. Conor McBride, Dr.
Peter Hancock, Dr. Robert Atkey, and six PhD students. The PhD project
centres around applications of categorical methods to functional programming
languages. The project is under the direction of Patricia Johann.
The successful applicant will have either a first-class degree or an MSc in
Mathematics or Computing Science or a related subject with a strong
Mathematics or Computing Science component. Ideally, they will also have a
strong, documented interest in doing research. Strong mathematical
background and problem-solving skills are essential; good programming skills
are a plus. Prior knowledge of category theory and/or functional programming
is an advantage, but is not required.
The PhD position is for 3 years; it must be started before September
2012 at the latest, but will preferably be started earlier. The position
is a fully-funded post for a UK or EU student, and includes both coverage
of fees and an EPSRC-level stipend for each of the three years. Fees for
non-EU students are covered only at the UK or EU student level.
More information about the department is available at
http://www.strath.ac.uk/cis
The University of Strathclyde (http://www.strath.ac.uk) is located in the
heart of Glasgow, which Lonely Planet Travel Guides hail as "one of
Britain's largest, liveliest and most interesting cities" (see
http://www.lonelyplanet.com/worldguide/scotland/glasgow/). Southern Scotland
provides a particularly stimulating environment for researchers in
theoretical computer science, with active groups in this area at Heriot-Watt
University, the University of Edinburgh, the University of Glasgow, the
University of St. Andrews, and the University of Strathclyde.
Requests for further information and other informal enquiries can be sent
to:
Patricia Johann
patricia at cis.strath.ac.uk
Those interested in the position are asked to send e-mail to the address
given above in the next short while.
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] 6+ messages in thread
* PhD position
@ 2011-08-08 16:02 Neil Ghani
0 siblings, 0 replies; 6+ messages in thread
From: Neil Ghani @ 2011-08-08 16:02 UTC (permalink / raw)
To: categories
Dear All
If any of you know any bright young things looking to do a PhD using category theory then can you let them know about this possibility.
I'm afraid the funding is only for EU passport holders.
All the best
Neil
=====================================================
PhD Position
in
Category Theory and Functional Programming
Department of Computer and Information Sciences
University of Strathclyde, Scotland
Applications are invited for one PhD position within the Mathematically
Structured Programming group at the University of Strathclyde. The group
comprises Prof. Neil Ghani, Dr. Patricia Johann, Dr. Conor McBride, Dr.
Peter Hancock, Dr. Robert Atkey, and six PhD students. The PhD project
centres around applications of categorical methods to functional programming
languages. The project is under the direction of Patricia Johann.
The successful applicant will have either a first-class degree or an MSc in
Mathematics or Computing Science or a related subject with a strong
Mathematics or Computing Science component. Ideally, they will also have a
strong, documented interest in doing research. Strong mathematical
background and problem-solving skills are essential; good programming skills
are a plus. Prior knowledge of category theory and/or functional programming
is an advantage, but is not required.
The PhD position is for 3 years; it starts in January 2012. The
position is a fully-funded post for a UK or EU student, and includes both
coverage of fees and an EPSRC-level stipend for each of the three years.
More information about the department is available at
http://www.strath.ac.uk/cis
The University of Strathclyde (http://www.strath.ac.uk) is located in the
heart of Glasgow, which Lonely Planet Travel Guides hail as "one of
Britain's largest, liveliest and most interesting cities" (see
http://www.lonelyplanet.com/worldguide/scotland/glasgow/). Southern Scotland
provides a particularly stimulating environment for researchers in
theoretical computer science, with active groups in this area at Heriot-Watt
University, the University of Edinburgh, the University of Glasgow, the
University of St. Andrews, and the University of Strathclyde.
Requests for further information and other informal enquiries can be sent
to:
Patricia Johann
patricia at cis.strath.ac.uk
Those interested in the position are asked to send e-mail to the address
given above in the next short while.
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] 6+ messages in thread
* PhD Position
@ 2010-01-27 18:13 Neil Ghani
0 siblings, 0 replies; 6+ messages in thread
From: Neil Ghani @ 2010-01-27 18:13 UTC (permalink / raw)
To: categories
******************************************************************
PhD Position
Applications of Category Theory to Computer Science
Mathematically Structured Programming Group
University of Strathclyde
******************************************************************
Applications are invited for PhD study under the supervision of Prof
Neil Ghani in an application of category theory to computer
science. The applicant must hold either a first class UK degree (or
equivalent) in their first degree or a distinction (or equivalent) at
masters level. The applicant's motivation must centre on a desire for
beautiful mathematics of lasting value.
The candidate will be part of the Mathematically Structured
Programming Group whose vision is to use mathematics to understand the
nature of computation, and to then turn that understanding into the
next generation of programming languages. This reflects the symbiotic
relationship between mathematics, programming, and the design of
programming languages --- any attempt to sever this connection will
diminish each component. In order to achieve these research goals we
mainly use ideas from category theory, type theory and functional
programming. Besides Professor Neil Ghani, the group consists of a
number of internationally leading researchers including Dr Patricia
Johann, Dr Conor McBride, Dr Peter Hancock and Dr Robert Atkey as well
as a number of PhD students.
Anyone interested should in the first instance contact Professor Neil
Ghani at ng@cis.strath.ac.uk and outline their academic
background. Funding is expected to come from the SICSA PhD program.
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] 6+ messages in thread
* PhD position
@ 1999-10-06 14:08 N Ghani
0 siblings, 0 replies; 6+ messages in thread
From: N Ghani @ 1999-10-06 14:08 UTC (permalink / raw)
To: categories
University of Leicester, Great Britain
Announcement of PhD Studentship in
Categorical Rewriting
A PhD student is sought for three years from January 2000 to work
under the supervision of Dr Neil Ghani on a UK EPSRC-funded project
``Categorical Rewriting''
A brief description of the project is included below. Further details
can be obtained by emailing Dr Ghani at ng13@mcs.le.ac.uk
Project Description
-------------------
Term Rewriting Systems (TRSs) are widely used throughout computer
science as they form an abstract model of computation while retaining
a relatively simple and concrete syntax. However, this concreteness
has led to a tendency to concentrate on the technical details of
specific problems to the detriment of a wider understanding of the
subject.
This project aims to address this problem by developing a categorical
semantics for rewriting. The project builds on recent work by Dr Ghani
which showed that TRSs can be regarded as generalised algebraic
theories and consequently that TRSs can be modelled as enriched
monads. We want to extend this reasearch in a number of
directions, eg the development of the semantics to cover more complex
notions of rewriting and the application of our research to
open problems in rewriting.
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2020-01-22 15:13 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2015-01-14 20:16 PhD position Neil Ghani
-- strict thread matches above, loose matches on Subject: below --
2020-01-22 15:13 Neil Ghani
2011-09-10 7:00 PhD Position Neil Ghani
2011-08-08 16:02 PhD position Neil Ghani
2010-01-27 18:13 PhD Position Neil Ghani
1999-10-06 14:08 PhD position N Ghani
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).