37 software-verification-computer-science-"TCAT-Jacksboro" Postdoctoral positions at University of Luxembourg
Sort by
Refine Your Search
-
The ERC Synergy project ALCEMIST (lcsoftmatter.com/alcemist ) challenges the conventional engineering mindset of using motors to drive passive structural components by developing innovative
-
be found on hpc.uni.lu . The activities include classical HPC applications, such as simulation and modeling, as well as artificial intelligence and machine learning, which bridge computational science
-
be found on hpc.uni.lu . The activities include classical HPC applications, such as simulation and modeling, as well as artificial intelligence and machine learning, which bridge computational science
-
Applications should include: Curriculum Vitae Cover letter A copy of the PhD diploma or a letter indicating the expected defense date Copy of a publication The name, current position and relationship to the applicant, of one referee Early application is highly encouraged, as the applications...
-
Computer Science Experience in dependable systems, real-time and embedded systems and/or operating systems and the threats and attacks they are exposed to is highly valuable, systems development experience is an
-
) at the University of Luxembourg contributes multidisciplinary expertise in the fields of Mathematics, Physics, Engineering, Computer Science, Life Sciences and Medicine. Through its dual mission of teaching and
-
27 Aug 2025 Job Information Organisation/Company University of Luxembourg Research Field Medical sciences » Medicine Medical sciences » Medicine Researcher Profile Recognised Researcher (R2) Country
-
will be developing control electronics based on Arduino or Raspberry Pi and write the corresponding software, ensuring significant automation and simple user interfaces such that other researchers can
-
publications. Implement and open-source proof-of-concept software tools. Collaborate with other researchers of different projects and disseminate the outputs at conferences, workshops organized by the consortium
-
profile PhD in Mathematics, Theoretical Computer Science, Information Theory, Physics or related fields High level of mathematical maturity Experience with topics related to quantum LDPC codes and decoding