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: http://www.jobs.cam.ac.uk/job/-27842/
No comments:
Post a Comment