Professor Byron Cook, and will
work in the Theoretical Computer Science group headed by Professor Peter
O'Hearn. The work of the group is underpinned by funding of over £8m, and
this post will be part of an EPSRC Programme Grant for £3.2m on verification
with partners at Imperial College London and O
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Post Doctoral Research Associate: CREST Centre, Software Systems Engineering,
UCL
Duties and Responsibilities
Applications are invited for a Research Associate post on an EPSRC-funded grant
7
It is available online at
http://www.sciencedirect.com/science?_ob=PublicationURL&_tockey=%
23TOC%235674%232007%23996249998%23648814%23FLP%
23&_cdi=5674&_pubType=J&view=c&_auth=y&_acct=C50221&_version=1&_urlV
ersion=0&_userid=10&md5=8e76f2c9e41b
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
It seems that the long url in the message below got messed up in
transit. This shorted one
should work.
http://tinyurl.com/24narx
Peter
On 21 May 2007, at 19:31, Peter O'
.
Smallfoot is a jointly-funded project between Peter O'Hearn at Queen
Mary and Cristiano Calcagno and Philippa Gardner at Imperial College.
The advertised position is at Queen Mary, where the team also
includes Dino Distefano and Hongseok Yang (originators of Space
Invader). The position has b
will work in the Theoretical Computer Science
group headed by Professor Peter O'Hearn. This group includes a range
of academics whose work relates to logic and program verification,
underpinned by research funding of over £8m. The group maintains
strong links with Imperial Coll