Sort by
Refine Your Search
-
mass spectrometers and nano/UHPLC systems Experience with state-of-the-art proteomic workflows, including MS acquisition (e.g. DDA, DIA, PRM) and data analysis with dedicated software tools. Computer
-
Researcher / Postdoc for molecular investigations on microbial ecology in deep-sea polymetallic n...
of marine microbial communities (based on metabarcoding, metagenomes, metatranscriptomes) Expertise in bioinformatic tools and pipelines for data pre-processing, Amplicon Sequence Variant (ASV) table
-
well as the needed system software needed to extract a maximum of efficiency form the respective architectures. The latter includes work on programming mod-els, operating systems, scheduling, tools, I/O as
-
its detailed analysis through Oxford Nanopore Technologies (ONT). Your role will be central in creating and applying bioinformatics and machine learning tools to analyze long-read data and decipher cap
-
experience with ROS Experience with simulation tools such as MuJoCo, Gazebo Prior exposure to machine learning and perception systems is an advantage Excellent communication skills and proficiency in English
-
in spatial equilibrium modeling (e.g., through coursework, dissertation work, or previous projects) experience with spatial data analysis using GIS tools or spatial libraries and familiarity with
-
essentially new methods to automatically verify cyber-physical systems. Because none of the existing methods and tools for the formal verification of cyber-physical systems are fully automatic, these methods
-
, and image analysis tools and working on a computing cluster (HPC). Vivid Interest in interdisciplinary research, leading and working on projects with pathologists, medical experts, computer scientists
-
strategies withing current and emerging software packages and tools (Chao et al. Nat Immunol 2023, Almeida et al. Sci Immunol 2022) The successful candidate will be hosted in the Department Infection
-
, building model checkers (also verified by automated theorem proving) etc. - AUTOMATA TUTOR (available at [1], described in publication [2]) is a tool to teach undergraduate students the basics of theoretical