Sort by
Refine Your Search
-
Listed
-
Category
-
Field
-
recommendations to ensure reproducibility of the project’s artefacts Diagnose, prevent, and repair failures and regressions across the software stack Analyze the security level and trusted computing base of the
-
at CHUV by verifying and validating robust software that contributes to various stages of therapy development (including: imagery, therapy optimisation, interface with the electrical stimulators, home use
-
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
-
than 18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. IT Systems Administrator & Software Developer Mission The mission of the CIBM IT systems
-
or automated theorem proving, network verification, routing protocols, packet scheduling, or applications of AI/ML to systems and security Strong computational and analytical skills, including solid software
-
than 18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. Research Software Engineer Mission The Center for Digital Trust (C4DT) , housed at EPFL, brings
-
be learned during the project, but solid Python skills and hands-on experience with graphs and GNNs are essential. Degree in computer science, software engineering, data science, machine learning
-
: Master’s degree or PhD in EE, Physics or Computer Science Attention to detail and passion for organization and efficiency Management experience in a similar role Familiarity with software and computer
-
maintainable in an automated context. Required skills / experience: Computer Science degree, or software development skills acquired through hands-on experience in professional settings. Proficiency in
-
and in computer architecture domains, our ability to analyze data still falls behind the unstoppable data collection rates. Data-intensive applications are increasingly more demanding in sophisticated