-
long repetitive and complex process. (2) Assess how LLM perform and can be complementary to traditional tools used for evaluation (formal methods, using Frama-C and Lazart). Internship tasks •Literature
-
range of computer vision tasks. Their strong representational capacity, however, comes at the price of significantly higher computational complexity and memory requirements. This poses a major challenge
-
We are looking for a candidate with a Master's degree, Engineer's degree or PhD in computer science, junior or senior, to join a team responsible for the packaging, deployment, and testing
-
With the increasing complexity of numerical simulation codes, new approaches are required to analyze the ever-growing amount of data. This requires coupling up-to-date data analysis libraries with