The focus will be on the continuing design, implementation, and evaluation of the WasmFX extension to WebAssembly.
Systematically evaluating the effectiveness of WasmFX using Wasm engines with support for WasmFX.
Developing and evaluating backends for research and industrial-strength programming languages by designing and carrying out appropriate benchmarks.
Working closely with the developers of these engines and languages.
Requirements
PhD in Computer Science or related field
Strong background in the theory of programming language including formal type systems and semantics.
Significant experience with the implementation of programming languages and their pragmatic design considerations.
Experience with the practice of software benchmarking and optimization, and in the implementation and delivery of applied software systems, for example in an industrial or research context.
Several years of experience building production software systems, including in industrial contexts.
Benefits
A competitive salary
An exciting, positive, creative, challenging and rewarding place to work.
To be part of a diverse and vibrant international community
Comprehensive Staff Benefits, such as a generous holiday entitlement, competitive pension schemes, staff discounts, and family-friendly initiatives.
Applicant Tracking System Keywords
Tip: use these terms in your resume and cover letter to boost ATS matches.
Hard skills
WasmFXWebAssemblyprogramming languagesformal type systemssemanticssoftware benchmarkingoptimizationapplied software systemsproduction software systems