Sort by
Refine Your Search
-
diagrammatic proof systems, contributing both software and theoretical outputs to the Safeguarded AI platform. About you Applicants should hold, or be close to completing, a PhD in Computer Science, Mathematics
-
programming language theory with those for complex arithmetic, in order to contribute both theoretical insights and software artifacts advancing the state of the art in quantum program verification
-
documentation What you contribute You are currently studying computer science, software engineering, robotics or a comparable field Basic knowledge of Python, ideally with PyTorch Familiar with ROS2 Interest
-
. Other related functions as assigned. Required Qualifications Bachelor's degree in engineering, computer or information science, or other applied sciences. Three years of experience in DevOps, SRE