-
candidates working in formal methods and/or computer systems with interests in one or more of the following areas: machine-checked verification of systems software, GPU kernel semantics and verification, and
-
for finite element methods, or the AI-assisted discovery of new discretization paradigms for classes of PDEs where standard methods struggle, with their properties then verified formally. You will publish and
-
Python and experience with GPU processing of large-scale datasets. Excellent written and oral communication skills in English. We also value applications from people with the following experience
-
scientific programming in Python and experience with GPU processing of large-scale datasets. Experience with inverse problems and 3D reconstruction methods for tomography, laminography, or a closely related
-
Python and experience with GPU processing of large-scale datasets. Excellent written and oral communication skills in English. We also value applications from people with the following experience
-
management and industrial collaboration. The position will focus primarily on the development and scale-up of innovative recycling approaches for photovoltaic modules and their constituent materials, with
-
the adaptation potential of construction elements Investigations into building ownership models that support the reuse of building elements Identification and analysis of underlying mechanisms for deterioration in
-
stacks. Unlike typical high-level networking roles, this project requires "bare-metal" intervention, programming the firmware and drivers that decide how and when data moves. Role & Profile You will lead