Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
or automated theorem proving, network verification, routing protocols, packet scheduling, or applications of AI/ML to systems and security Strong computational and analytical skills, including solid software
-
than 18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. Postdoc in the Theory of Non-Equilibrium Chemical Reaction Networks Mission The National Centre
-
Your profile PhD applicants must possess a Master's degree in mathematics, theoretical physics, computer science, or a related field. Postdoctoral applicants must hold, or be close to completing, a
-
Postdoctoral and PhD Positions in Neurotechnology: Drug/Biologics Carrier Formulation & Chemical Engineering for Focused Ultrasound-Mediated Brain Drug Delivery The Neurotechnology Group of Prof. Mehmet Fatih
-
and Computer Science at the University of Basel invite applications for a PhD or postdoctoral position focused on Large Language Models (LLMs), including pre-training and post-training. The successful
-
candidates working in formal methods and/or computer systems with interests in one or more of the following areas: machine-checked verification of systems software, GPU kernel semantics and verification, and
-
this new hybrid network. Your code will directly enable the next generation of energy-efficient AI clusters. Project scope You will bridge the gap between custom optical hardware and standard AI software
-
lab members, the group's organoid/tissue-engineered infection models (airway, gut) to prioritize physiologically relevant hits Co-supervise PhD students and contribute to method development, data
-
collaboration with the team. Your profile PhD degree in physics, materials science, chemistry, electrical engineering or a related discipline Knowledge of UHV and thin-film technology Prior experience in PVD and
-
to protect against various classes of attacks. This means that the group does heavy technical work from analyzing and prototyping to analyzing low-level software and hardware for security. Examples of our