Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- EPFL
- University of Basel
- Empa
- University of St. Gallen
- ETH Zurich
- Aalborg University
- Dallas County Community College District
- CNRS
- Friedrich Miescher Institute for Biomedical Research
- Loyola University
- Paul Scherrer Institute (PSI)
- Swiss Federal Institute for Forest, Snow and Landscape Research WSL
- University of Bern
- 3 more »
- « less
-
Field
-
Your tasks Contribute to the projects in the group at the intersection of programming languages, software engineering, and security Collaborate with the other group members Extend the theoretical
-
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
-
drastically reduces power and latency. We are looking for a Postdoctoral Researcher / Research Engineer with a background in Embedded Systems and Low-Level Programming to design the control logic that
-
profile Excellent Master's degree in Computer Science, Software Engineering, or a closely related field. Strong interest in research in one or more of the areas of software engineering, programming
-
independently manage your time to meet deadlines You enjoy hands-on work and prototyping with real-world devices and sensors You have a good knowledge of programming languages C/C++ and Python Desirable
-
security; prior research experience in these areas is an advantage. Strong programming skills. Excellent written and verbal communication skills in English.
-
quantitative and methodological questions in marketing and technology/AI Strong programming skills in R or Python; experience with large-scale or field data is a plus A high level of personal initiative and
-
field Background in formal verification, programming languages, systems, or ML Research experience in one or more of: interactive theorem proving (Rocq, Lean, HOL, Isabelle, or similar), GPU
-
Friedrich Miescher Institute for Biomedical Research | Basel, Kanton Basel-Stadt | Switzerland | 28 days ago
( fmicompbio.github.io ) and offers training in programming, bioinformatics, and reproducible research. The facility is a member of the Swiss Institute of Bioinformatics and actively contributes to
-
, and the community regarding programming expansion, Center relations, and constituent education on all Tutoring Center and STEM Learning Center services. Represents the Tutoring Center during