red hat software Jobs in Lausanne

EPFL, the Swiss Federal Institute of Technology in Lausanne, is one of the most dynamic university campuses in Europe and ranks among the top 20 universities worldwide. The EPFL employs more than 6,500 people supporting the three main missions of the institutions: education, research and innovation. The EPFL campus offers an exceptional working environment...

h3Mission /h3 pThe Keystone project, an ARIA-funded collaboration between EPFL and Imperial College London, aims to build a formally-verified ML inference engine, demonstrating that AI can help make verified systems competitive with unverified systems in terms of development effort, features, and performance. Its missions include the design and...

EPFL, the Swiss Federal Institute of Technology in Lausanne, is one of the most dynamic university campuses in Europe and ranks among the top 20 universities worldwide. The EPFL employs more than 6,500 people supporting the three main missions of the institutions: education, research and innovation. The EPFL campus offers an exceptional working environment...

IntroductionIn this role, you’ll work in one of our IBM Consulting Client Innovation Centers (Delivery Centers), where we deliver deep technical and industry expertise to a wide range of public and private sector clients the around world. Our delivery centers offer our clients locally based skills and technical expertise to drive innovation and adoption of...

h3Mission /h3 pThe Keystone project seeks to advance knowledge in the following domains: /p ul liFormal verification and interactive theorem proving (Rocq, Lean) /li liSecure and high-performance computer systems, including ML infrastructure /li /ul pWe seek outstanding candidates working in formal methods and/or computer systems with interests in one or...