-
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
-
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