Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
://www.jobbnorge.no/en/available-jobs/job/294536/phd-research-fellow-in-formal-methods-for-industrial-engineering Where to apply Website https://www.jobbnorge.no/en/available-jobs/job/294536/phd-research-fellow-in-fo
-
PhD studentship in Computer Science: From Formal Requirements to Specification-based Automated Testing for Safety-Critical Medical Device Software Certification Award Summary 100% fees covered, and
-
-Doctoral Research Fellowships to hold a PhD degree obtained in the 3 years previously to the submission of the fellowship application; to have carried out the research work that led to the PhD degree in a
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | about 4 hours ago
1.309,64 €, being the payment method by Wire Transfer. Eligibility criteria Admission Requirements: To be enrolled at a PhD. Holders of a Master’s degree in Architecture. A minimum of two years of experience
-
, program synthesis, semantic parsing, tool-augmented/agentic workflows) 2. Symbolic methods (logic/constraints, SAT/SMT, theorem proving, planning) * Strong software engineering skills (typically Python
-
Methods for Industrial Engineering Apply for this job See advertisement About the position Position as PhD Research Fellow in formal methods and knowledge representation available at Department
-
ASSOCIACAO ISCTE CONHECIMENTO E INOVACAO - CENTRO DE VALORIZACAO E TRANSFERENCIA DE TECNOLOGIAS | Portugal | 4 days ago
supervision of Professor Maria Manuela Mendes, PhD. Where to apply Website https://recrutamento.conhecimentoinovacao.iscte-iul.pt/jobs Requirements Research FieldOtherEducation LevelMaster Degree or equivalent
-
Analysis. We aim at the formalization and sound empirical evaluation of security methodologies and solutions from risk assessment and threat analysis to mining software vulnerabilities and analyzing Java and
-
EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description The position is opened by the Formal Methods for System and Software Research Unit (FM Unit
-
» Solid state physics Physics » Mathematical physics Physics » Computational physics Physics » Applied physics Researcher Profile Recognised Researcher (R2) Positions PhD Positions Application Deadline 11