Sort by
Refine Your Search
-
development of AI-assisted proof engineering workflows, and the open-source release of specifications, proofs, and verified artefacts. We seek an excellent software engineer to play a central role in turning
-
, implementation, and open-source release of the lab’s tools and artefacts Participate in the supervision of PhD and master students Profile PhD (or nearing completion of) in computer science or a closely related
-
, including close collaboration with the Imperial College London team (regular visits to London are expected) Contribute to open-source releases of specifications, proofs, and verified artefacts Engage with
-
responsibilities The successful candidate will have considerable freedom to shape their research within the broader scope of the laboratory. Potential research directions include: Sources and emissions of indoor air
-
through proprioception. We develop widely-used open-source tools (e.g., DeepLabCut), train biomechanically realistic embodied agents (e.g., MuscleMimic, Kinesis, Arnold), and build AI-based models
-
related projects (open source services evaluation, server maintenance, workshops organization, …) Profile Higher education in computer science or equivalent Very good expertise in cryptography: elliptic
-
, TLS Experience with configuration management tools (Ansible, Puppet) Familiarity with DevOps/GitOps practices and CI/CD pipelines (GitLab CI/CD, FluxCD) Experience operating open-source-based services
-
than 18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. Postdoctoral Scholar Opening in Indoor Air Quality Mission EPFL (École Polytechnique Fédérale de
-
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
-
specialized training The chance to contribute to open-source projects with global impact Access to the broader Swiss academic ecosystem and industry partnerships Being part of Switzerland's sovereign AI