10 software-verification-computer-science-"the"-"Washington-University-in-St" positions in Germany
Sort by
Refine Your Search
-
of the results The tasks can also be completed as part of a Bachelor's thesis. What you bring to the table In the field of Electrical Engineering, Information Technology, Computer Science, or a comparable
-
to the table A university degree in computer science, IT security, or a related discipline Knowledge of IT security / software security Sound programming skills in Java and/or C/C++ are also needed in larger
-
Joint degree / double degree programme No Description/content Networks, computers, sensors, and actuators are increasingly integrated into cyber-physical systems; software systems that interact with
-
(TIB ) – Leibniz Information Centre for Science and Technology – Program Area C, Research and Development, is looking to employ a Open Source Developer for Digital Scientific Infrastructures (m/f/d
-
, 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
-
for various technologies and develop algorithms and software tools dedicated to accelerating research on multiple levels. We are working at the intersection of computer science, physics, and material science to
-
Computer Science, Artificial Intelligence, Mathematics, Electrical Engineering, or a similar subject. Most importantly, you should be creative, passionate about research, driven by curiosity, and be able to think
-
(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, Mathematics
-
) 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