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
-
components we develop, and contribute to red/blue team exercises within the ARIA programme Contribute to open-source releases and engage with their user communities Profile Higher degree in computer science
-
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
-
Teaching Program Coordinator to manage the operational backbone of their teaching portfolios. You will be the central point of coordination across three courses: CS-552 Modern Natural Language Processing CS
-
. • Represent the programme in relevant scientific, technical and stakeholder meetings. Profile • PhD in genetics, genomics, bioinformatics, molecular biology or a related field. • Proven experience in
-
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
-
-scale genomics. • Contribute to technical reporting, programme deliverables and stakeholder presentations. Profile • MSc or PhD in bioinformatics, computational biology, computer science, data
-
, immunohistochemistry, and fluorescence microscopy Contribute to the day-to-day operation of the laboratory as needed Profile Diploma from a laboratory technician program or equivalent qualification Accreditation to work
-
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