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
-
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
-
positions. https://www.epfl.ch/labs/entc/ Education You will work closely with Dr. Davide Bavato, head of EPFL’s recently established Entrepreneurship Education Hub. The Hub is developing a structured
-
, and relevant experience; 2. a curriculum vitae; 3. contact information for one or two professional references. The application documents should be submitted via https://programs-recruiting.epfl.ch
-
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
-
related field; Strong publication record in relevant venues; Solid programming skills in Python and a modern deep-learning framework Excellent communication skills in spoken and written English; Self
-
our expanding in vivo and ex vivo neuroscience program, we are seeking a motivated and experienced technician to assist with mouse work, surgical procedures, and primary neuron culture. Main duties and