Sort by
Refine Your Search
-
Listed
-
Country
-
Field
- Economics
- Medical Sciences
- Computer Science
- Engineering
- Biology
- Science
- Education
- Mathematics
- Materials Science
- Business
- Law
- Social Sciences
- Environment
- Linguistics
- Psychology
- Chemistry
- Arts and Literature
- Humanities
- Earth Sciences
- Electrical Engineering
- Philosophy
- Design
- Sports and Recreation
- 13 more »
- « less
-
, of September 9th, the only selection method applicable to all candidates will be curricular assessment (CA), as compulsory method. Website for additional job details https://www.apply.uc.pt/procedure
-
motivation letter to wolfgang.bacsa@cemes.fr and emmanuel.soubies@cnrs.fr . A formal application must also be submitted via the https://emploi.cnrs.fr/CNRS portal. However, we strongly encourage prospective
-
theorem provers such as Coq or Isabelle/HOL. Proof Automation. We plan to develop formal methods for automatic reasoning that can be materialized into commercial tools. Responsibilities Participate in and
-
The University of North Carolina at Chapel Hill | Chapel Hill, North Carolina | United States | 10 days ago
regulations, permit requirements and development agreements. Responsible for the planning and management of formal capital projects, which may range from $500,000 to in excess of $100,000,000, and may include
-
strong background in computer science, including formal methods and mathematics, as well as an interest in AI and safety-critical systems. Good programming skills are required. Supervision: Prof. Elena
-
standards, reflect changes in the profession, and incorporate various perspectives. Foster advanced and innovative teaching methods (e.g., team teaching, interprofessional education); coaching and mentoring
-
, recognition, and evaluation of adult and youth volunteers to support local 4-H programming. Utilize appropriate methods, both formal and informal, of community assessment to identify educational needs and
-
education diplomas awarded by foreign higher education institutions and point e) of no. 2 of article 4 of Decreto-Lei n.º 60/2018, de August 3rd, with the requirement that any formal procedures established
-
Applied to Health, University of Coimbra. 3. Procedure reference: IT160-26-12 4. Job(s) characterization: Advisory functions, studies, planning, and the application of technical methods and processes within
-
use classical methods of analysis and synthesis. However, in the case of large systems, this type of approach will generally lead to very large optimization problems. A second strategy is to describe