Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Science
- Education
- Biology
- Mathematics
- Materials Science
- Law
- Social Sciences
- Arts and Literature
- Business
- Psychology
- Linguistics
- Chemistry
- Environment
- Humanities
- Electrical Engineering
- Philosophy
- Sports and Recreation
- Design
- Earth Sciences
- Statistics
- 14 more »
- « less
-
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 and biological characterization techniques
-
, realization of idealized models, relationship between cryptographic notions, and similar topics in foundational cryptography. Similarly work on the intersection of cryptographic protocols and formal methods is
-
(https://z.umn.edu/4HEducatorquestionnaire ) Bachelor's degree at time of hire in fields related to but not limited to education, social sciences, family and consumer sciences, sociology, psychology, and
-
broad areas of cybersecurity. Applications from all areas within Cybersecurity are encouraged. Potential topics include but are not limited to foundations for information security (cryptography and formal
-
also be reimbursed for the amount 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
-
of applications: 14.1. Applications must be formalized at http://www.fe.up.pt/concursos , reference on-line nº 1498, until de 23h59m (local time) of 09-07-2026. The application must include: full name, number and
-
will combine modern AI/LLM-based code generation with formal methods to produce software that is both fast to create and provably trustworthy. The position is part of SAFIR (Secure AI for Intelligent
-
must be formalized by sending a letter of application accompanied by the following documents: application form for a postdoctoral research fellowship (available at https://www.ua.pt/pt/sgrh/bolseiros
-
recommendations. Assists in maintenance of degree evaluation systems, check sheets, degree plans, and additional methods used to assist students with the graduation process. Maintains Registrar’s Office section
-
student has completed course satisfactorily. Obtain official student feedback through a formalized course evaluation. Maintain required licensure and continuing education requirements Assist in preparing