Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
for Intelligent Systems (PercInS) investigates novel methods and technologies for robotic platforms and other intelligent systems to perceive and act in unconstrained, dynamic environments. https
-
FOR STUDENTS ENROLLED IN PHD STUDIES (1) Job Status Full-time Hours Per Week 35 Is the job funded through the EU Research Framework Programme? Not funded by a EU programme Is the Job related to staff
-
areas and topics that include symbolic AI and formal methods (logic, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc
-
Applications are formalized by completing the application form available at https://hr-ucpporto.inqueritos.porto.ucp.pt/267387?lang=en . Applications must be submitted in English. Applications shall include
-
conditions: Scientific Area: Product Design or related areas Recipients: Masters in Industrial Design, Product Design or related areas, enrolled in a PhD or non-degree course, in the scientific areas indicated
-
control synthesis methods. We invite highly motivated students with a strong background in discrete-event systems, supervisory control theory, and formal methods to apply for the PhD position within
-
of rights, drafting of technical standards and legislation. Authorship and co-authorship of patents, registrations of ownership of intellectual property rights on software, mathematical methods and rules
-
tracking). Comfortable using Linux based HPC systems. Model order reduction, particularly proper orthogonal decomposition (POD) techniques. As a formal qualification, you must hold a PhD degree (or
-
and collaborative research environment within the lab. Take a leading role in mentoring junior students, with the opportunity to take on formal supervision roles. About you Qualifications: PhD in
-
field. The PhD dissertation must have been submitted before the application deadline, and the degree must have been awarded before the starting date. Proven expertise with ethnographic methods (e.g