40 parallel-computing-numerical-methods "Institute of Computer Science" research jobs at EPFL
Sort by
Refine Your Search
-
experience AI-assisted theorem proving or algorithm discovery is an asset You have working knowledge of numerical analysis, ideally numerical methods for PDEs You are independent and comfortable with open
-
at international conferences and workshops Position 1: Computer Vision & AI for Behavior Analysis Contribute to the creation of behavioral datasets for groups of animals Develop methods for animal and environment
-
than 18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. Postdoc position in 3D Computer Vision, remote sensing ... The Laboratory of Visual Intelligence
-
studies. We expect a strong scientific background and proven track record in accelerator physics, physics-based simulations, numerical optimization and computational design. Experience with modular and
-
, electron-beam lithography, theory of light-matter interaction, computer simulations using the method of Finite Differences in the Time Domain (FDTD), determination of optical material constants by multiangle
-
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. Postdoctoral Position in Computational Genomics, Machine Learning & Single-Cell Biology Mission
-
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
-
, formal methods, and/or networking, with interests in one or more of the following areas: NetKAT and its extensions, symbolic automata, routing algebras, packet scheduling, and AI-based cybersecurity. Main
-
within INSTANT-LAB, an established patent portfolio, and long-standing industrial collaborations. The main responsibilities include: Developing analytical and numerical models for flexure-based mechanisms