-
an outstanding postdoctoral researcher to develop next-generation MEMS probes and instrumentation for cryogenic scanning probe microscopy (SPM) and quantum measurements. The position is part of a recently funded
-
engineering ability (e.g., OCaml, Rust, C/C++, Python, or other functional languages) Strong publication record (relative to your career stage) in internationally leading venues (e.g., POPL, PLDI, ICFP, OOPSLA
-
languages) Experience using or evaluating LLM-based tools for code or proof generation is a plus Publication record (relative to your career stage) in internationally leading journals and conferences
-
computing environments, such as Python, R, or MATLAB; A strong publication record appropriate to the candidate’s career stage; The ability to work both independently and collaboratively in
-
proficiency in one or more programming or scientific computing environments, such as Python, R, or MATLAB; A strong publication record appropriate to the candidate’s career stage; The ability to work both
-
skills Strong publication record (relative to your career stage) Independent, creative, and solution-oriented Excellent written and oral communication skills in English Strong motivation to explore new
-
analyzing … Publication record (relative to your career stage) in internationally leading journals Independent, creative, and solution-oriented Excellent written and oral communication skills in English