Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
- Medical Sciences
- Economics
- Computer Science
- Business
- Engineering
- Biology
- Materials Science
- Education
- Science
- Humanities
- Psychology
- Arts and Literature
- Social Sciences
- Mathematics
- Design
- Law
- Sports and Recreation
- Chemistry
- Electrical Engineering
- Linguistics
- Philosophy
- Earth Sciences
- Environment
- Physics
- 14 more »
- « less
-
of robot in complex dynamic environments. Robot platform and sensor system hardware and software integration. Algorithms and systems verification and validation. Report writing and presentations. Job
-
within a Research Infrastructure? No Offer Description Techniques based on formal methods for the verification and validation of embedded and safety-critical systems are becoming increasingly important
-
. Assist Users with BG1 Card Services. Minimum Qualifications PC Proficiency Working knowledge of word processing software Working knowledge of spreadsheet software Working knowledge of presentation software
-
technical requirements into software solutions Participating in project meetings and progress updates Where to apply Website https://institutminestelecom.recruitee.com/l/en/o/ingenieure-logiciel-cdd-6-mois
-
Description You are expected to conduct research in the area of trustworthy AI-assisted software engineering, with a particular focus on traceability, verification, and reproducibility of AI-assisted software
-
recommending a course of action. Maintain confidentiality when handling sensitive information. Learn new software or digital platforms as needed for your role. Essential Functions Interpret, synthesize, and
-
Apply now Job no:538893 Work type:Full Time Location:Canberra, ACT Categories:Information Technology Senior Software Developer, UNSW Canberra Employment type: Fixed-term contract, full-time (35
-
of the Business and Finance Office to insure their progressive development in the use of the Banner, ECSI (Educational Computer Systems Incorporated), TouchNet, WebFocus and other related computer software systems
-
and optical aperture synthesis) and testing (calibration and performance verification). You are encouraged to visit the ESA website: http://www.esa.int Field(s) of activity/research for the traineeship
-
focus on traceability, verification, and reproducibility of AI-assisted software development processes. Modern software development increasingly relies on AI-based tools (e.g., large language models and