-
(at 23:59 UTC +2). Requirements A PhD in computer science or a related topic Prior experience in logical reasoning is essential Demonstrable research experience in SAT/ASP/SMT/MaxSAT Excellent English
-
(at 23:59 UTC +2). Requirements A PhD in computer science or a related topic Prior experience in SAT/ASP/SMT/MaxSAT is essential Any experience in model counting and a broader understanding of machine
-
data, including biomedicine and drug discovery. The position gives excellent opportunities in publishing in high-quality forums. We expect the applicants to have a PhD degree (or close to completing one
-
, develop, and implement state-of-the-art post-quantum cryptographic protocols and algorithms. Collaborate closely with top-tier European universities and industrial partners. Participate in project
-
implement state-of-the-art post-quantum cryptographic protocols and algorithms. Collaborate closely with top-tier European universities and industrial partners. Participate in project implementation and
-
. We are experts in systems science; we develop integrated solutions from care of the elderly to space robotics. We are now looking for a Postdoctoral Researcher in quantum computing and algorithms
-
in signal processing and control. Your role and goals As a researcher in this project, you will work on mathematical models for describing the radio environment and to design algorithms for estimating
-
collaborators. Your work will develop algorithms, inference methods, and frameworks to adapt models from training data to test environments, which is necessary to resolve distribution shifts, hidden confounders