Lightnews — Scholar-powered news

Reposted by Dominic Orchard

Institute of Computing for Climate Science @iccscambridge.bsky.social · Sep 3

🌊 An exciting Postdoctoral Research Associate opportunity at @kingscollegelondon.bsky.social

Join a team of climate scientists and AI experts to generate new projections of the land ice contribution to sea level rise until 2300 with machine learning. Full info: www.jobs.ac.uk/job/DOL498/p...

Postdoctoral Research Associate at King's College London

Explore an exciting academic career as a Postdoctoral Research Associate. Don't miss out on other academic jobs. Click to apply and explore more opportunities.

www.jobs.ac.uk

1 2

Reposted by Dominic Orchard

Mike Sperber @sperbsen.bsky.social · Aug 26

The Call for the 2026 International Symposium on Functional and Logic Programming (FLOPS) is open - the symposium will be May 26-28 in Akita, Japan. Deadline for the CfP is Dec 8 (abstracts) / Dec 16 (submissions).
Send us your best on the best of both worlds!
functional-logic.org/events/flops...

FLOPS 2026 - Call for Papers | Functional Logic Programming

18th International Symposium on Functional and Logic Programming

functional-logic.org

7 5

Reposted by Dominic Orchard

Software Sustainability Institute @softwaresaved.bsky.social · Aug 11

🧭 We are pleased to announce that applications for the SSI Fellowship Programme 2026 are now open! The deadline to apply is Mon 6 Oct.

Find out more and access further resources at www.software.ac.uk/news/ssi-fel...

16 13

Reposted by Dominic Orchard

Daniel Swain @weatherwest.bsky.social · Jul 1

For perspective: a recent study suggested that economic savings from just a *single* well-predicted hurricane, thanks to NOAA research advancements, are on order of *$5 billion.* That exceeds NOAA's *entire proposed annual operating budget.* So much for government efficiency.

7 180 420

Reposted by Dominic Orchard

Institute of Computing for Climate Science @iccscambridge.bsky.social · Jun 4

📢 Job opportunity at ICCS!
We're seeking a part-time Communications Coordinator to lead our comms strategy and amplify our research in climate + computing.
Details & apply: www.jobs.cam.ac.uk/job/50705/
#ClimateScience #ScienceCommunication #AcademicJobs

Communications Coordinator - Job Opportunities - University of Cambridge

Communications Coordinator in the Department of Applied Mathematics and Theoretical Physics at the University of Cambridge.

www.jobs.cam.ac.uk

1 4

Dominic Orchard @dorchard.bsky.social · May 16

Looking for somewhere to submit work in functional programming with a focus on performance (broadly construed) or numerical computing? Consider the FProPer workshop! Co-located with ICFP and SPLASH 2025 conf.researchr.org/home/icfp-sp... I went last year, gave a keynote, and enjoyed it immensely!

ICCS Summer School 2025 Programme

cambridge-iccs.github.io

1 2 6

Reposted by Dominic Orchard

Tomas Petricek @tomasp.net · May 15

The registration for @programming-conf.bsky.social is still open. Just sayin'...

4 1

Reposted by Dominic Orchard

gckeller.bsky.social @gckeller.bsky.social · May 14

The abstract deadline for FProPer is coming up in a bit more than two weeks (31/5 - paper deadline 14/6). If you're working in the space, please consider submitting! And of course, if you know anyone doing interesting work in this area, please also encourage them to submit!

Mike Sperber @sperbsen.bsky.social · Apr 14

I'm honored to chair - with @gckeller.bsky.social and Sven-Bodo Scholz - FProPer’25, the Workshop on Functional Programming for Productivity and Performance.
CfP asks for full papers (abstract deadline May 31) or standalone abstracts (Aug 2) - hope you'll submit!
conf.researchr.org/home/icfp-sp...

FProPer 2025 - ICFP/SPLASH 2025

FProPer aims to bring together researchers and practitioners that strive to use or develop declarative languages for combining programmer productivity with the highest levels of runtime performance. T...

conf.researchr.org

6 5

Reposted by Dominic Orchard

Institute of Computing for Climate Science @iccscambridge.bsky.social · Apr 30

This is a fantastic opportunity to work at the intersection of programming languages and scientific computing research, as part of the @cst.cam.ac.uk and ICCS teams.

Details: www.jobs.cam.ac.uk/job/51153
Apply by 25th May

2 3

Dominic Orchard @dorchard.bsky.social · Apr 29

This will build on the work we've done with fortran-src (joss.theoj.org/papers/10.21...) and CamFort (camfort.github.io). It's a chance to try out new ideas, develop both theory and practice, and to work with industry and academic partners (including applied to climate modelling).

fortran-src: Fortran static analysis infrastructure

Contrastin et al., (2025). fortran-src: Fortran static analysis infrastructure. Journal of Open Source Software, 10(106), 7571, https://doi.org/10.21105/joss.07571

joss.theoj.org

4

Dominic Orchard @dorchard.bsky.social · Apr 29

I am hiring a 2-year postdoc (either at Research Associate or Senior Research Associate level) to work on static analysis tools, particular with application to Fortran, at @cst.cam.ac.uk @iccscambridge.bsky.social. Details: www.jobs.cam.ac.uk/job/51153/ (closing date 25th May)

Research Associate/Senior Research Associate in Static Analysis and Programming Language Tools (Fixed Term) - Job Opportunities - University of Cambridge

Research Associate/Senior Research Associate in Static Analysis and Programming Language Tools (Fixed Term) in the Department of Computer Science and Technology at the University of Cambridge.

www.jobs.cam.ac.uk

1 10 7

Reposted by Dominic Orchard

Programming for the Planet @propl.dev · Apr 3

Please do consider joining the conversation by submitting a short piece, especially if you are "climate curious" and want to learn how to participate. Head over to the Call for Papers for more details conf.researchr.org/home/icfp-sp... or ask co-chairs @anil.recoil.org / @dorchard.bsky.social

PROPL 2025 - Programming for the Planet 2025 - ICFP/SPLASH 2025

There are simultaneous interlinked crises across the planet due to human actions: climate change, biodiversity loss, and desertification. Addressing these challenges requires, amongst other things, a ...

conf.researchr.org

1 1

Reposted by Dominic Orchard

Anil Madhavapeddy @anil.recoil.org · Apr 3

PROPL is baaack and will have a published workshop proceedings for the first time! CFP just out, and @dorchard.bsky.social and I are very excited to host it at SPLASH in October. 🌏🧪

Programming for the Planet @propl.dev · Apr 3

The 2nd Programming for the Planet workshop will be hybrid and co-located with ICFP/SPLASH in October in Singapore! Our call for papers is out at conf.researchr.org/home/icfp-sp..., submission deadline 3rd July 2025.

PROPL 2025 - Programming for the Planet 2025 - ICFP/SPLASH 2025

There are simultaneous interlinked crises across the planet due to human actions: climate change, biodiversity loss, and desertification. Addressing these challenges requires, amongst other things, a ...

conf.researchr.org

3 9

Dominic Orchard @dorchard.bsky.social · Mar 6

Happy that our (@iccscambridge.bsky.social) JOSS paper on FTorch has been accepted and is now out. This is a really neat library, smoothly enabling coupling of ML models developed in PyTorch into Fortran code, now being used in various climate models (+ other scientific domains too). Well done team!

Journal of Open Source Software @joss-openjournals.bsky.social · Mar 5

Just published in JOSS: 'FTorch: a library for coupling PyTorch models to Fortran' https://doi.org/10.21105/joss.07602

2 10

Reposted by Dominic Orchard

Journal of Open Source Software @joss-openjournals.bsky.social · Mar 5

Just published in JOSS: 'FTorch: a library for coupling PyTorch models to Fortran' https://doi.org/10.21105/joss.07602

5 14

Reposted by Dominic Orchard

Institute of Computing for Climate Science @iccscambridge.bsky.social · Feb 19

We are thrilled to join the Bluesky community and share our passion for advancing climate science through cutting-edge computing 🌱
ICCS collaborates with international research teams to address the computational challenges of climate modelling.
Follow us for updates on all our exciting projects! 🎊

1 3 5

Reposted by Dominic Orchard

Fluid News @f.luid.org · Feb 7

Come join us in Cambridge! 2 new EPSRC-funded residental undergraduate internships available this summer, working alongside our DeepMind interns at the intersection of PL, AI/ML and HCI. Deadline 14 March. More at f.luid.org/student-proj.... Apply here: www.epsrc.group.cam.ac.uk/DTP/internsh....

Internships | EPSRC Doctoral Training Opportunities

Applications are now open! STEM Widening Participation Research Internship Programme The Schools of the Physical Sciences and Technology are inviting current undergraduate students to apply for an eig...

www.epsrc.group.cam.ac.uk

2

Reposted by Dominic Orchard

Journal of Open Source Software @joss-openjournals.bsky.social · Feb 7

Just published in JOSS: 'fortran-src: Fortran static analysis infrastructure' https://doi.org/10.21105/joss.07571

5 5

Reposted by Dominic Orchard

Fluid News @f.luid.org · Feb 4

@dynamicaspects.org presented Fluid at last week’s Virtual Earth System Research Institute journal club. Talk available at www.youtube.com/watch?v=5KUW...

www.schmidtsciences.org/virtual-eart...

January 2025 - Fluid: Data-Transparent Visualisations - Dr Roly Perera

YouTube video by Institute of Computing for Climate Science (ICCS)

www.youtube.com

3 6

Dominic Orchard @dorchard.bsky.social · Jan 31

Sorry to hear that @codeandcurrents.bsky.social I hope we can stay in touch / connect on some other projects. Good luck for what's next.

1 2

Dominic Orchard @dorchard.bsky.social · Jan 30

Indeed (en.wikipedia.org/wiki/Jevons_...)

Jevons paradox - Wikipedia

en.wikipedia.org

1 2

Reposted by Dominic Orchard

Fluid News @f.luid.org · Jan 20

This poster provides a bit of context for our two DeepMind summer internships: an AI “authoring assistant” (for writing text with embedded Fluid computations), and an AI “reading assistant” (for turning provenance traces into natural language explanations). www.cst.cam.ac.uk/outreach/dee...

2 2

Reposted by Dominic Orchard

Journal of Functional Programming @journal-of-fp.bsky.social · Jan 13

We're delighted to publish ten PhD abstracts in this round. Topics range from types to tests, from synthesis to software engineering, from datatypes to differentiation. Have a look!

PhD Abstracts | Journal of Functional Programming | Cambridge Core

PhD Abstracts - Volume 35

www.cambridge.org

1 3 10

Reposted by Dominic Orchard

Fluid News @f.luid.org · Jan 9

Matrix convolution example, running with our new dependence-graph implementation of Fluid. Output interactions highlights inputs cells being consumed; input interactions highlight output cells that consume that input. 50-80x speedup vs. the previous implementation! ⏩⏩

2 3

Dominic Orchard @dorchard.bsky.social · Jan 9

(this year is the 52nd iteration of POPL)

1 1