[TYPES/announce] postdoc position, immediately

[Peter Selinger]

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

Dear colleagues,

I invite applications for one postdoctoral position, starting
September 1 or as soon as possible, at Dalhousie University under my
supervision. 

The position is initially for 1 year, and can be extended for a second
year. The salary is CAD $50,000 per year.

The successful applicant will be part of a government-funded research
team spanning Dalhousie and several U.S. institutions.  The overall
goal of the project is to design a quantum programming environment,
and to accurately estimate and significantly reduce the computational
resources required to implement quantum algorithms on a realistic
quantum computer. Here at Dalhousie University, we will be primarily
responsible for the design of a quantum programming language.  The
project is structured as a research contract with specific milestones
and deadlines. The nominal start date for this project is August 1,
2011 (yes, this is in the past).

Familiarity with the design of programming languages, type systems,
and/or semantics will be a prerequisite for this postdoc. Familiarity
with quantum computing will be helpful, but is neither necessary nor
sufficient for this position - the main emphasis is on programming
languages.

Interested applicants should contact Peter Selinger at
selin...@mathstat.dal.ca as soon as possible, and in any case before
August 11. I can provide more details about the research project to
interested applicants on request.

Thanks, -- Peter

[TYPES/announce] PhD Position availalble

[Patricia Johann]

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


  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.