Sort by
Refine Your Search
-
of equipment. Job Requirements Have relevant competence in the areas of formal methods (including theorem proving and model checking), quantum computing, and software analysis/verification. Have a degree in
-
safety in labs Job Requirements Education & Certifications: Bachelor’s or Master’s degree in Software Engineering, Computer Science, or a related field from a recognized university. Experience: A seasoned
-
safety in labs. Job Requirements Education & Certifications: Bachelor’s or Master’s Degree in Software Engineering, Computer Science, or related fields from a recognized University. Major in Information
-
of equipment. Job Requirements Have relevant competence in the areas of formal methods (including theorem proving and model checking), quantum computing, and software analysis/verification. Have a degree in
-
intermediate language. Mechanization. We plan to mechanize the formal framework using state-of-the-art theorem provers such as Coq or Isabelle/HOL. Proof Automation. We plan to develop formal methods
-
A good degree in Mechanical Engineering or a related field. Masters, PhD and/or relevant professional certifications like registered PE would be advantageous. Deep technical specialist with 10 or more
-
robotics and embodied AI capabilities for real-world deployment. CIR is seeking a Robotics Engineer to implement state-of-the-art learning-based robotic manipulation methods on physical platforms
-
security, digital twins, and block chains. Hands on experience in commercial digital supply chain solutioning projects with both hardware and software elements. Experience in digital supply chain related
-
evaluate state-of-the-art learning-based methods (e.g. imitation learning) for contact-rich robotic manipulation. Integrate hardware and software components into a functional system for real-world deployment
-
safety in labs. Job Requirements A good degree in Chemical Engineering or a related field. Masters, PhD and/or relevant professional certifications would be advantageous. Track record in project leadership