Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
- Economics
- Medical Sciences
- Computer Science
- Business
- Engineering
- Materials Science
- Biology
- Science
- Education
- Arts and Literature
- Law
- Social Sciences
- Psychology
- Mathematics
- Sports and Recreation
- Humanities
- Design
- Chemistry
- Philosophy
- Electrical Engineering
- Environment
- Linguistics
- Physics
- Earth Sciences
- 14 more »
- « less
-
and cyber-physical software; Runtime verification of cyber-physical and autonomous systems; Target applications may include autonomous systems, collision avoidance, mission and plan monitoring
-
of equipment. Job Requirements Have relevant competence in the areas of formal methods (including theorem proving and model checking), quantum computing, and software analysis/verification. Have a degree in
-
Work Location: On Campus The successful applicant will be required to provide the following current verification(s) where 'Yes' is indicated below. Further information is available at: https
-
personal computer to complete duties and knowledge of Microsoft Office products (WORD, PowerPoint, Excel), as well as other related student management Software. •Must have excellent interpersonal and
-
verification reports to government and professional agencies; tracking credentials; documenting enrollments, progress, and payments for FastForward, G3, and FANTIC; performing daily financial transactions
-
faculty adjunct instructor to teach our Construction Planning and Scheduling course. The course utilizes MS Project scheduling software. For full consideration, the cover letter, resume or curriculum vitae
-
software), compiles data, and prepares a variety of routine reports. A qualified candidate will be responsible for performing tagging of new fixed assets and perpetual rolling inventory of existing fixed
-
for software and hardware development and implementation in a neuroimaging-focused, neuroscience lab. Our lab studies sleep and neurological disease with a strong clinically translational focus. You will work
-
software), compiles data, and prepares a variety of routine reports. A qualified candidate will be responsible for performing tagging of new fixed assets and perpetual rolling inventory of existing fixed
-
compliance, as well as downstream verification & validation activities, such as software testing and runtime verification. For further information, you may refer to https://www.uni.lu/snt-en/research-groups