Sort by
Refine Your Search
-
than 18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. Postdoc in the Theory of Non-Equilibrium Chemical Reaction Networks Mission The National Centre
-
into a working MVP fast enough to support the next grant application round. Main duties and responsibilities Rebuild the RVI scoring engine as clean, standalone Python code, implementing the validated
-
verified research prototypes into a production-grade, high-performance inference engine. Prior experience with formal verification is welcome but not required: a strong systems engineer with the motivation
-
. 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
-
Positions Application Deadline 15 Oct 2026 - 15:55 (Africa/Abidjan) Country Switzerland Type of Contract Temporary Job Status Full-time Is the job funded through the EU Research Framework Programme? Not
-
this new hybrid network. Your code will directly enable the next generation of energy-efficient AI clusters. Project scope You will bridge the gap between custom optical hardware and standard AI software
-
code Developing agentic AI workflows for specification autoformalization, proof generation, and proof repair Build a strong network in the fields of formal verification, systems, and ML infrastructure
-
) Ensuring medical grade software quality following industry best practices for patients' usage at home and for researchers in rehabilitation facilities Designing, coding, and driving the automation of test
-
driving mesenchymal stromal cell heterogeneity and function in adipose biology and other metabolically relevant processes. Geno - In the “Geno” pillar, we are examining how variation in the regulatory code
-
. Main duties and responsibilities Extract and harden a scoring engine from an existing Python/Streamlit prototype into robust, standalone code Rebuild the data layer from Neo4j to a Python-native graph