Sort by
Refine Your Search
-
Listed
-
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
-
with a background in software engineering, requirements engineering, artificial intelligence, and cybersecurity. Rules and benefits for PhD students in Sweden apply to this position. The PhD student
-
, verification and management of data. Designs and deploys high-performance AI systems using GPUs and hardware accelerators for research. Performs software development tasks as needed to support research
-
knowledge representation Desired qualifications: Experience with formal specification and modelling Experience with formal verification Experience with software engineering and software technology
-
distribution grids, along with a PhD student who will be hired for this project. The second Postdoc is expected to lead activities on the development of Artificial General Intelligence methods for the
-
and cost-effective energy conversion onboard off-road vehicles. Your focus will be on design and verification of the control structure and software achitecture, as well as dimensioning the PE hardware
-
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