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
- Philosophy
- Earth Sciences
- Electrical Engineering
- Sports and Recreation
- Design
- 13 more »
- « less
-
formalized at http://www.fe.up.pt/concursos , reference on-line nº 1452, until de 23h59m (local time) of 20/04/2026. The application must include: full name, number and date of identity card or citizen card
-
for the MODFLOW 6 Groundwater Transport Model, Techniques and Methods. Reston, VA Where to apply Website https://emploi.cnrs.fr/Offres/Doctorant/UMR6074-ARNBLO-001/Default.aspx Requirements Research FieldComputer
-
applications: May 16th 2026 Method of submitting an application: by e-mail to rekrutacja.wnf@uw.edu.pl Required documents: Personal questionnaire https://neofilologia.uw.edu.pl/konkursy-i-procedury-awansowe
-
, 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
-
The University of North Carolina at Chapel Hill | Chapel Hill, North Carolina | United States | 7 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
-
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
-
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
-
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