[TYPES/announce] Post-doctoral Research Associate in Programming Languages and Systems for Climate Modelling at the University of Kent (33 months)

[Dominic Orchard]

Post-doctoral Research Associate in Programming Languages and Systems for
Climate Modelling at the University of Kent

https://urldefense.com/v3/__https://jobs.kent.ac.uk/Vacancy.aspx?ref=CEMS-264-24__;!!IBzWLUs!V6cULeikQ6jPpgf2TrhUmg0cok5DmAAyF1vxYh_cqR3UopAv0G-_w7zu1t10-lCrlnnyR3p3WymaepjvjP0f6De-ai0ETIeCWao$ 

Length: 33 months
Location: Canterbury, University of Kent
With: Dominic Orchard (d.a.orchard at kent.ac.uk)
Closing date: 9th September 2024
Salary: £38k-£42k

Details at: https://urldefense.com/v3/__https://jobs.kent.ac.uk/Vacancy.aspx?ref=CEMS-264-24__;!!IBzWLUs!V6cULeikQ6jPpgf2TrhUmg0cok5DmAAyF1vxYh_cqR3UopAv0G-_w7zu1t10-lCrlnnyR3p3WymaepjvjP0f6De-ai0ETIeCWao$ 

Climate change is one of the greatest challenges of our time. Assessing its
risks and our progress towards mitigating its worst effects requires
processing a wealth of data and computing simulations to make decisions
that affect the lives of billions worldwide, both now and in the future.
However, in the last decade, climate modelling has faced diminishing
returns from current hardware trends and software engineering techniques.
Developing the required models and analysis tools to effectively process,
explore, and derive policy decisions, with a high degree of transparency
and trust, remains difficult. There is therefore a need for computer
scientists to develop programming tools, languages, and systems to enable
scientists to more effectively develop the next generation of climate
modelling and analysis tools.

This post, embedded in the Programming Language and Systems group at Kent,
will undertake novel research on programming languages, tools, and systems
to support climate modelling and climate scientists. This work could be
from several perspectives, for example, but not limited to:

* static analysis tooling for numerical models;
* verification of critical libraries used by climate scientists;
* developing novel language ideas for future computational science efforts;
* extending existing languages with novel features to support science;
* developing new tools (including libraries) to support climate science
research.

We are open to other ideas however than just those mentioned above.Projects
that are driven from a climate science perspective, including data-driven
techniques for climate science, are also welcome.

The work will be in collaboration with researchers as the Institute of
Computing for Climate Science at the University of Cambridge (
https://urldefense.com/v3/__https://iccs.cam.ac.uk/__;!!IBzWLUs!V6cULeikQ6jPpgf2TrhUmg0cok5DmAAyF1vxYh_cqR3UopAv0G-_w7zu1t10-lCrlnnyR3p3WymaepjvjP0f6De-ai0EQGn4hc4$ ) and under the supervision of Dr Dominic Orchard (
https://urldefense.com/v3/__https://dorchard.github.io/__;!!IBzWLUs!V6cULeikQ6jPpgf2TrhUmg0cok5DmAAyF1vxYh_cqR3UopAv0G-_w7zu1t10-lCrlnnyR3p3WymaepjvjP0f6De-ai0EU2KmxwI$ ). There is opportunity to work directly with
leading climate scientists, to discover problems that need tackling and to
test out novel ideas.

Eligibility criteria can be found in the job description linked from the
advert (https://urldefense.com/v3/__https://jobs.kent.ac.uk/Vacancy.aspx?ref=CEMS-264-24__;!!IBzWLUs!V6cULeikQ6jPpgf2TrhUmg0cok5DmAAyF1vxYh_cqR3UopAv0G-_w7zu1t10-lCrlnnyR3p3WymaepjvjP0f6De-ai0ETIeCWao$ ) and includes
holding, or nearing completion of, a PhD in computer science (or a relevant
field with sufficient experience in computer science).

Contact Dominic Orchard (d.a.orchard at kent.ac.uk / dao29 at cam.ac.uk) for more
details.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240814/4be96d2b/attachment.htm>