Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
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
-
engineer with the motivation to learn proof-assistant technology will thrive in this role. Main duties and responsibilities Bring technical expertise in systems programming and performance engineering
-
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
-
areas. ● Strong computational/programming skills (Python/C/C++) including computational mechanics, and scientific machine learning. ● Excellent English communication skills (oral and written). We offer
-
field. You have a strong background in programming (Python, C++, matlab, etc), robotic control and usage of machine learning techniques. Experience with Linux and ROS / ROS2 framework is strongly
-
research. Proficiency in programming and statistics/data science. A genuine passion for music and a solid understanding of music. Fluent English and a collaborative team spirit. We offer World-Class
-
. • Strong programming skills (Python, Bash and/or similar languages). • Experience with Linux environments, workflow management systems, containerization technologies and cloud or high-performance
-
Information Modelling (BIM), Geographic Information Systems (GIS) or computer programming is a plus. A master's degree or professional experience in architecture is preferred but not required. The employment
-
measurement needs. Experience with LabVIEW and control system programming is considered an asset Fluency in French and English is required. We offer A unique environment within an independent hydraulic