[Haskell] Research Job: Compositional Analysis for Mobility & Concurrency @ Heriot-Watt U., Scotland, UK

with special interest in mobility and concurrency at Heriot-Watt University [1] working with Joe Wells [2]. The position is in the ULTRA (Useful Logics, Types, Rewriting, and their Automation) group [3] in the Computer Science Department [4] in the School of Mathematical and Computer

Research Job: Compositional Analysis & Reasoning for Software Systems @ Heriot-Watt U., Scotland, UK

University working with Joe Wells. The position is in the ULTRA (Useful Logics, Types, Rewriting, and their Automation) group in the Computer Science Department in the School of Mathematical and Computer Sciences (formerly the Department of Computing and Electrical Engineering) at Heriot

final test: Research Job in Compositional Reasoning and Analysis @ Heriot-Watt Univ., Scotland, UK

EC-funded project working under the supervision of Joe Wells. The position is in the ULTRA (Useful Logics, Types, Rewriting, and their Automation) group in the Department of Computing and Electrical Engineering at Heriot-Watt University in Edinburgh, the capital of Scotland. The work will

RA position @ Heriot-Watt Univ. in program analysis

directed by Joe Wells. The position is in the ULTRA (Useful Logics, Types, Rewriting, and Applications) group in the Department of Computing and Electrical Engineering at Heriot-Watt University in Edinburgh, the capital of Scotland. The RA should either already have skills in some of the

Research/Study in Logics, Types, Rewriting, & Applications

tes should send the following: 1. Curriculum vitae. 2. Three letters of recommendation sent to us directly by your references. 3. A two-page description of how your research fits the goals of the ULTRA group. This material should be sent to either Prof. Fairouz Kamareddine or Dr. Joe We