다음에 대한 검색 결과: "software".
| 모집공고 | 지역 | 날짜 | |
|---|---|---|---|
|
Thesis Work 30hp - Formal Verification Techniques for Software Reliability of Automotive Software
Södertälje, SE, 151 38
2024. 10. 4.
|
|||
|
Thesis Work 30hp-Formal Specification of Automotive Software Guidelines for Automated Verification
Södertälje, SE, 151 38
2024. 10. 4.
|
|||
|
Thesis Work 15hp-30hp - Automated optimized testing of vehicle software
Södertälje, SE, 151 38
2024. 10. 4.
|
|||
|
Thesis Work 30hp - Formal Specification Inference for Automotive Software
Södertälje, SE, 151 38
2024. 10. 4.
|
|||
|
Thesis Work 15hp-30hp - AI agents for software development, for single tasks or in cooperation
Södertälje, SE, 151 38
2024. 10. 4.
|
|||
|
30 hp - Simulation and Testing of a Conditioning System for Powertrain Testing
Södertälje, SE, 151 38
2024. 10. 10.
|
|||