Sort by
Refine Your Search
-
for establishing correctness with respect to formal specifications Engineering efficient implementations that make high-level abstractions practical We seek outstanding candidates working in programming languages
-
the ARIA programme, including red/blue team exercises and sprint reviews Profile PhD (or nearing completion of) in computer science or a closely related field Background in formal verification, programming
-
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
-
present your work internationally. You are the ideal candidate if You hold a PhD in mathematics, computer science or a related field You have a strong background in formal verification with Lean You have
-
advanced computational models; and Related topics in indoor air quality, aerosol science, exposure science, and healthy buildings. Projects may combine controlled laboratory experiments, measurements in real
-
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
-
-term sustainability and the local appropriation of the DOUV. Integrate the data produced by WP1, WP2 and WP3 into the tool; programme the automatic ingestion of Sentinel-2 imagery and the recalibration
-
collaboration with experimental labs Profile Common requirements: PhD (completed or close to completion) in computer science, applied mathematics, computational neuroscience, robotics, physics or a closely
-
, 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
-
of the upgraded Swiss Light Source synchrotron, as well as other facilities around the world. Profile We are looking for a person with: PhD in physics, engineering, computer science, or a related field. Strong