Sort by
Refine Your Search
-
program generation and optimization Verification, testing and security of software systems Explainability of AI and of software engineering Software for distributed, highly-parallel AI systems Intelligent
-
European Organisation for Astronomical Research in the Southern Hemisphere | Garching an der Alz, Bayern | Germany | 7 days ago
/Qualifications Qualifications and experience A Master’s degree or an engineering degree in optics, applied physics, or instrumentation. Experience with technical software, including Zemax and AutoCAD (or similar
-
, or machine learning is also appreciated. PhD: The candidate is expected to have some background in theoretical computer science, including some of the following areas: automata, logic, games, verification
-
) and present your work at top conferences and journals in our field. Candidates should have completed their Master/Diploma studies in Computer Science, Mathematics, Mechatronics, Electrical Engineering
-
(at places all over the world) and present your work at top-notch conferences and journals in our domain. You should have completed your Master/Diploma studies with top grades in Computer Science, Artificial