Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
- Economics
- Medical Sciences
- Computer Science
- Engineering
- Business
- Materials Science
- Education
- Biology
- Science
- Social Sciences
- Arts and Literature
- Mathematics
- Psychology
- Humanities
- Electrical Engineering
- Law
- Chemistry
- Environment
- Philosophy
- Sports and Recreation
- Design
- Earth Sciences
- Linguistics
- Physics
- 14 more »
- « less
-
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
-
state of the art and legacy software development tools and methods, considering computer equipment capacity and limitations, operating time, computer-user interfaces and form of desired results. Expected
-
browsing capabilities. A small subset of project relevant publications is listed below. Requirements:A candidate should have at least a master’s degree in computer science or related fields (PhD is preferred
-
with Prof. Olivares-Mendez and Dr. Carol Martinez, the members of the Space Robotics (SpaceR) research group (www.spacer.lu ) and Redwire Space Luxembourg (https://redwirespace.com/ ). The group works
-
: Computer Science or Management Information Systems or related field is preferred The following Experience is required: 3 year of experience with enterprise resource platforms (ERP’s) The following Experience is
-
for licensing, and generating new connections for corporate-sponsored research, with the objective of advancing UT research in the fields of AI, computer science, networking and communications, and semiconductors
-
, program synthesis, semantic parsing, tool-augmented/agentic workflows) 2. Symbolic methods (logic/constraints, SAT/SMT, theorem proving, planning) * Strong software engineering skills (typically Python
-
, original forms of identification for employment verification via the Federal I-9 employment verification process. A list of acceptable documents can be seen here: https://www.uscis.gov/i-9-central/form-i-9
-
on NOVA.id.FCT website. Website for additional job details https://www.novaidfct.pt/content/NOVAID.B441.EDI.0.pdf Work Location(s) Number of offers available1Company/InstituteNOVA Laboratory for Computer Science
-
, orientation, and offboarding of residents Maintain program website and develop recruitment and promotional materials Residency Management Systems Manage residency management software (e.g., New Innovations