8 computer-engineering-"https:"-"https:"-"https:"-"https:"-"https:"-";" positions at EPFL
Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
twins and engineering knowledge such as P&IDs and operating procedures. A particular emphasis lies on trustworthiness: quantifying uncertainty, verifying agent decisions before they reach the plant
-
background, and an outstanding MSc degree in Engineering, Computer Science, Physics, Applied Mathematics, or a related field. You should be proficient in or willing to learn generative deep learning – in
-
Engineering, Mathematics, Computer Science, or a related quantitative field A strong mathematical background, including familiarity with optimization, probability, and the analysis of mathematical models A
-
of Engineering, School of Life Sciences and School of Computer and Communication Sciences, are strongly encouraged. The candidate’s ability to teach STEM subjects and/or bioengineering topics will be
-
seeks 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
-
semantics, the development of AI-assisted proof engineering workflows, and the open-source release of specifications, proofs, and verified artefacts. We seek an excellent software engineer to play a
-
Computer Science, Electrical Engineering, or related field. Strong proficiency in C/C++ and Linux Systems Programming . Experience with Embedded Linux and Kernel drivers. Bonus Skills (Nice to have
-
techniques for establishing correctness with respect to formal specifications Engineering efficient implementations that make high-level abstractions practical We seek outstanding candidates working