Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- University of Washington
- The California State University
- AALTO UNIVERSITY
- Aalto University
- Blekinge Institute of Technology
- CEA
- Chalmers University of Technology
- Forschungszentrum Jülich
- Sandia National Laboratories
- Technical University of Denmark
- UCL
- University of Arkansas
- University of Oslo
- 3 more »
- « less
-
Field
-
research-grade proof-checking or verification software. Experience with proof assistants, automated reasoning, or reinforcement learning is desirable, as is a track record of scientific publication and
-
of us? The Department of Software Engineering consists of about 50 researchers and teachers from 20 countries. Our tradition in software engineering traces back to 1990 when we pioneered Sweden’s
-
, 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
-
, scientific computing, and emerging AI. The project tasks will include resource-aware training methods and hardware implementation, including the design, implementation, and verification of KAN accelerator
-
knowledge representation Desired qualifications: Experience with formal specification and modelling Experience with formal verification Experience with software engineering and software technology
-
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
-
knowledge of current software applications such as Microsoft Office Word and Excel; ability to lift/move 25 lbs. or more; ability to learn and perform assigned work; ability to handle multiple tasks and
-
management software; ensure marketing schedules and communication calendars are maintained and regularly updated. In collaboration with Annual Giving leadership, Advancement Communications, and our school
-
autonomous design and verification of power system controllers. The selected applicant will also be partially involved in the EU project ODEON, where we expect them to be involved in designing the
-
, physician protocols or (prerogatives), equipment and/or software operation, safety and quality control guidelines as acquired through clinical rotation of all treatment areas (machines) for a period of one