Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- United States
- Portugal
- Denmark
- Poland
- United Kingdom
- Norway
- Germany
- Netherlands
- France
- Spain
- Luxembourg
- Sweden
- Australia
- Czech
- Belgium
- Canada
- Singapore
- United Arab Emirates
- Austria
- Croatia
- Italy
- Ukraine
- Finland
- Worldwide
- Ireland
- Slovenia
- China
- Greece
- Iceland
- Japan
- Malaysia
- Morocco
- Switzerland
- 23 more »
- « less
-
Program
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Biology
- Science
- Education
- Materials Science
- Chemistry
- Law
- Business
- Mathematics
- Social Sciences
- Psychology
- Environment
- Linguistics
- Humanities
- Arts and Literature
- Electrical Engineering
- Earth Sciences
- Sports and Recreation
- Philosophy
- Design
- Physics
- 14 more »
- « less
-
corresponding to the Voluntary Social Security, in case of adherence to this plan. 11. Selection methods: The selection methods to be used will be the following: curriculum vitae assessment with the respective
-
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
-
. Formalization of applications: 14.1. Applications must be formalized at http://www.fe.up.pt/concursos , reference on-line nº 1412, until de 23h59m (local time) of 12-01-2026. The application must include: full
-
of the institution, who is also in charge of deciding about the hiring. 18. Application formalization: 18.1 The applications are formalized at the electronic address https://www.requimte.com/ with following documents
-
The Centre for Formal Methods and Future Computing (FORM) and the Danish Institute for Advanced Study (DIAS) at the University of Southern Denmark (SDU, Campus Odense and Vejle) seek
-
foreign higher education institutions, and paragraph e) of paragraph 2 of article 4 of Decree-Law No. 60/2018, of August 3, all of which the formalities must be fulfilled there until the contracting act
-
., programming language theory, formal methods, or algorithms/optimization) and be open to practical computational experiments. PostDoc applicants must further demonstrate a solid history of academic writing and
-
manager of the hiring entity. 14. Formalization of applications: 14.1. Applications must be formalized at http://www.fe.up.pt/concursos , reference on-line nº 1419, until de 23h59m (local time) of 14/01
-
according to TVöD VKA-K, as a rule at 65%. The doctoral contract will be drawn up in accordance with formal regulation section 2.1 of the WissZeitVG (https://www.gesetze-im-internet.de/wisszeitvg/__2.html
-
Doutorado de Nível Inicial |Projeto AGRO-CIRN - Proposta 1418 Applications must be formalized at http://www.fe.up.pt/concursos , reference on-line nº 1418, until de 23h59m (local time) of 14-01-2026