Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- California State University, San Bernardino
- University of Aveiro
- University of Texas at Austin
- Cornell University
- Instituto Superior de Engenharia do Porto
- Nature Careers
- Technical University of Denmark
- The University of Chicago
- Universidade de Aveiro
- University of Oslo
- ;
- CEA
- Leiden University
- State University of New York University at Albany
- University of Bergen
- University of Glasgow
- University of Luxembourg
- University of Maryland
- University of Nebraska–Lincoln
- University of Texas at El Paso
- CERN - European Organization for Nuclear Research
- CNRS
- Centro de Biotecnologia Agrícola e Agro-Alimentar do Alentejo
- Chalmers University of Technology
- Duke University
- Graz University of Technology
- Heidelberg University
- Heriot Watt University
- Iowa State University
- KINGS COLLEGE LONDON
- King's College London
- Malopolska Centre of Biotechnology
- Nanyang Technological University
- Northeastern University
- Purdue University
- Texas A&M TVMDL
- Universidade do Porto – HR
- University of Colorado
- University of Exeter
- University of Maryland, Baltimore
- University of Massachusetts Dartmouth
- University of Oxford
- University of Pennsylvania
- University of Pittsburgh
- 34 more »
- « less
-
Field
-
version control distribution software like Git Experience with numerical methods and techniques, including optimization and statistical analysis Ability to adapt to emerging technologies in biophysics and
-
live in. Your role We are seeking a highly motivated PhD candidate to research how artificial intelligence (AI) techniques can help software engineers formally specify and verify software systems. State
-
software development in a team setting • Experience with version control distribution software like Git • Experience with numerical methods and techniques, including optimization and statistical analysis
-
Domaine Mathématiques, information scientifique, logiciel Contrat Post-doctorat Intitulé de l'offre Cybersecurity formal analysis of fault-injection attacks in hardware/software embedded systems
-
life cycle models (waterfall, spiral, and so forth), domain engineering methods, requirements analysis methods (including formal specifications), software design principles and methods, verification and
-
Usersgroup meetings and serve as a technical resource for Qualtrics, REDCap and biostatistical software related issues. Assist with writing methods sections and power calculations for grant proposals
-
following skills and experience: Essential criteria PhD in STEM subject * Highly developed verbal and written communication skills in English (ranging from informal 1:1 discussions, formal presentations
-
for new research projects and to promote DTU Sustain activities. As a formal qualification, you must hold a PhD degree (or equivalent) and at least 2 additional years of academic experience. Candidates
-
criteria PhD in STEM subject * Highly developed verbal and written communication skills in English (ranging from informal 1:1 discussions, formal presentations covering both oral and written skills
-
technology-based solutions, or determine computational strategies. Designs and perform formal evaluation of informatics methods and products. Manipulates publicly accessible, commercial, or proprietary genomic