Sort by
Refine Your Search
-
Category
-
Country
-
Employer
-
Field
-
diagrammatic proof systems, contributing both software and theoretical outputs to the Safeguarded AI platform. About you Applicants should hold, or be close to completing, a PhD in Computer Science, Mathematics
-
or Master of Science degree in software engineering, data science, AI, or computer science. Documented experience in professional software development. Documented experience or interest in Artificial
-
the specific projects above you seek to join, your profile should cover some of the skills listed below. Masters degree in electrical/electronic engineering, computer science, computer engineering
-
background in formal methods, logic, theoretical computer science, or related areas Strong background in computer science and mathematics Demonstrated interest in formal modelling, verification, or
-
Sandia National Laboratories. Qualifications We Require: * You have or will receive a Ph.D. in applied/computational mathematics or a related area, such as computer science, engineering, or statistics
-
also offers access to a wide suite of engineering and simulation software for electronics design, spacecraft systems modelling, structural and thermal analysis, and mission performance verification
-
to a wide suite of engineering and simulation software for electronics design, spacecraft systems modelling, structural and thermal analysis, and mission performance verification. Together, these