[TYPES/announce] Postdoc position in Dependently Typed Programming, St Andrews

[Edwin Brady]

Dear all,
There is a position available for a post doctoral research fellow to
work on Type Driven Development in Idris - for more details, and further
particulars, see below, or you can see it at
https://www.vacancies.st-andrews.ac.uk/Vacancies/W/6438/0/250507/889/research-fellow-ar2286sb

Any informal inquiries, please contact me directly on ecb10 at st-andrews.ac.uk

Edwin

Advert follows:

Applications are invited for a Research Fellow to work with Dr Edwin
Brady in the School of Computer Science at the University of St Andrews
on an EPSRC funded project "Programming as Conversation: Type-Driven
Development in Action".

The project aims to investigate the extent to which precise type systems
enhance programmer productivity, by developing languages and tools to
support the methodology of type-driven development.  It will build on
recent work developing a new version of the dependently typed
programming language Idris (https://www.idris-lang.org) and will involve
defining a semantics for program construction and manipulation as a
typed domain specific language for implementing editor actions. These
actions will include refactorings, and synthesising programs from their
types.

The successful candidate will have (or be about to obtain) a PhD in
Computer Science or a related subject. A strong background in functional
programming, dependent types or other advanced type systems is required.
The appointee will be expected to present their work both internally and
externally and will be expected to help with supervision and training of
postgraduate and undergraduate research students.

Funded by EPSRC (Engineering and Physical Sciences Research Council),
this post is available for three years, with a start date as soon as
possible.

For informal enquiries, please contact: Dr Edwin Brady, School of
Computer Science, ecb10 at st-andrews.ac.uk.

The University is committed to equality for all, demonstrated through
our working on diversity awards (ECU Athena SWAN/Race Charters; Carer
Positive; LGBT Charter; and Stonewall).  More details can be found at
http://www.st-andrews.ac.uk/hr/edi/diversityawards/.

Please quote ref:  AR2286SB

Closing Date:  26 November 2019




-------------- next part --------------
A non-text attachment was scrubbed...
Name: pEpkey.asc
Type: application/pgp-keys
Size: 2456 bytes
Desc: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20191104/464cdb38/attachment-0001.skr>