-
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
-
, engineering, computer science, or a related field. Experience with inverse problems and 3D reconstruction methods for tomography, laminography, or a closely related modality. Strong scientific programming in
-
of the upgraded Swiss Light Source synchrotron, as well as other facilities around the world. Profile We are looking for a person with: PhD in physics, engineering, computer science, or a related field. Strong
-
, engineering, computer science, or a related field. Experience with inverse problems and 3D reconstruction methods for tomography, laminography, or a closely related modality. Strong scientific programming in