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

Position available for Postdoctoral Research Fellow

Where: HONG KONG
Qualifications: Applicants should have:

(a) PhD degree in bioinformatics, computer science, applied mathematics, or a related discipline;
(b) strong publication record;
(c) be able to work independently;