Friday, April 26, 2013

Four postdoctoral researcher positions in Computer science.

Where: UK
Closing Date: 15 May 2013
You should have expertise in one or more of the following, on the semantics side:
* Programming Language and Processor Semantics and Type Systems
* Automated Reasoning Tools, including Interactive Proof Assistants
* Concurrency
* Program Verification
* Static and Dynamic Analysis and/or the following, on the systems side:
* Computer Architecture
* Operating Systems
* Security
* Compilers

Scale: £37,382-£47,314
Limit of tenure: 3 years

For more details:

No comments: