Sort by
Refine Your Search
-
AI-assisted proof engineering. The position is part of an ARIA-funded collaboration between EPFL and Imperial College London whose goal is to build a formally-verified ML inference engine
-
for establishing correctness with respect to formal specifications Engineering efficient implementations that make high-level abstractions practical We seek outstanding candidates working in programming languages
-
infection models to identify and characterize compounds active against these priority pathogens. Main duties and responsibilities Design and build a microscopy-based phenotypic screening pipeline (live
-
present your work internationally. You are the ideal candidate if You hold a PhD in mathematics, computer science or a related field You have a strong background in formal verification with Lean You have
-
discussed with the successful candidate depending on their background, expertise and affinities Analysis and publication of results Build a strong network in the field of research Participate in education
-
the field of sustainable construction. The research integrates dynamic material value-chain analyses, ownership models, technical performance assessment, and design-for-disassembly strategies to support the
-
a new research collaborator with a PhD in building technology, preferably in the field of building materials and/or building envelope performance and/or building renovation. The candidate must be
-
. The precise research topic(s) will be discussed with the successful candidate depending on their background, expertise and affinities. Analysis and publication of results Build a strong network in the field
-
. This allows us to shift from the standard imaging question of "what is the structure of this sample?" to "how does the structure differ from the known design?". The second question can be answered with far
-
combining experimental biology and computational genomics. Main duties and responsibilities Working and collaborating on research projects Analysis and publication of results Build a strong network in the