Sort by
Refine Your Search
-
Category
-
Program
-
Field
-
to advance knowledge in the following domains: Formal verification and interactive theorem proving (Rocq, Lean) Secure and high-performance computer systems, including ML infrastructure We seek outstanding
-
establishing an institutional framework for the management of human biological samples and sensitive research data. This initiative will provide researchers with secure, compliant, and scalable infrastructure
-
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
-
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
-
of Switzerland programme. • Develop, maintain and optimize genomic data processing pipelines and analytical workflows. • Ensure the secure ingestion, storage, organization, traceability and delivery
-
, optimization, and modernization of infrastructure and workflows Support the reliability, scalability, and security of the platform services Profile Bachelor’s or Master’s degree in Computer
-
routines, documentation standards, and internal procedures. Maintain the safety, organization and cleanliness of laboratories and storage spaces in compliance with laboratory rules and in coordination with
-
on personal workstations Set up and maintain enhanced security on CIBM's servers and sensitive machines (following IT security best practices) Implement custom solutions (software and hardware) to meet the
-
system security. Its research scope covers, among others, finance technologies, health-data security and privacy, technologies for trustworthy governance, democracy, and humanitarian needs. An important
-
. Participating in code reviews to ensure code quality and to provide & receive feedback. Applying IT security best practices, including e.g. Zero Trust and Least Privilege principles. Working with clients