10 verification-computer-science-"Prof"-"Washington-University-in-St" Postdoctoral positions
Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
-
Field
-
, such as software testing and runtime verification. For further information, you may refer to https://www.uni.lu/snt-en/research-groups/svv The successful candidate will work with Prof. Fabrizio Pastore
-
Full-time: 35 hours per week Fixed-term: 31st March 2026 The School of Informatics at the University of Edinburgh invites applications for 2 Post-doctoral Researcher positions in Quantum Machine
-
-generation AI hardware (ASIC) accelerators. The UK's Advanced Research Invention Agency (ARIA) is supporting an ambitious programme of work that aims to reduce the the cost of AI by more than 1000x: https
-
candidate will play a key role in developing and advancing new models and simulations for Computational Fluid Dynamics (CFD) hypersonic codes. Specific tasks include developing new turbulence and transition
-
://mediatum.ub.tum.de/doc/1696192/aab7jokzk7x4paq7m2y9pa2p6.Wetzlinger-2022-NAHS.pdf Job Specifications For PhD applicants: Excellent Master’s degree (or equivalent) in computer science, engineering, or related
-
based at the NTNU University Museum in Trondheim with Prof. James D. M. Speed and will interact with partners across the network. Duties of the position Coordinate the Nordic Borealization Network, using
-
Job Description The Opportunity The laboratories of Profs. Raghavan, Engblom and Ricklick at the Department of Aerospace Engineering, Embry-Riddle Aeronautical University, Daytona welcomes
-
Health Sciences (SMHS) is the 11th oldest medical school in the country and the first in the nation’s capital. Since its establishment, the school has been at the forefront of medical education and has
-
, 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