Sort by
Refine Your Search
-
Abstractions Lab (LASeR) develops programming languages and formal reasoning tools for networked systems. Networks are the invisible infrastructure that connects the modern world, yet programming and reasoning
-
languages, systems, or ML Research experience in one or more of: interactive theorem proving (Rocq, Lean, HOL, Isabelle, or similar), GPU programming or semantics, compilers, concurrency, or ML systems (e.g
-
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
-
-ended research questions You communicate well in English and enjoy working at the boundary between disciplines We offer At EPFL, we believe that people achieve great results when they feel supported
-
proficiency in one or more programming or scientific computing environments, such as Python, R, or MATLAB; A strong publication record appropriate to the candidate’s career stage; The ability to work both
-
skills Proficiency in at least one programming language for geospatial analysis: Python (rasterio, geopandas, scikit-learn), R or Google Earth Engine. Experience with open-source tools (QGIS, GRASS GIS
-
of SATURNA, namely Language Models for RNA sequences, Graph representation learning and generative models, Knowledge-Augmented RNA modeling, Computational RNA biology and Experimental stem cell biology and RNA
-
to actively shape the Hub’s development through course delivery and the design and coordination of educational programs. The position includes teaching responsibility for two courses (one per semester
-
, engineering, computer science, or a related field. Experience with inverse problems and 3D reconstruction methods for tomography, laminography, or a closely related modality. Strong scientific programming in
-
scientific programming in Python and experience with GPU processing of large-scale datasets. Experience with inverse problems and 3D reconstruction methods for tomography, laminography, or a closely related