Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- Nature Careers
- Cornell University
- University of Porto
- University of Warsaw: Faculty of Mathematics, Informatics and Mechanics
- University of Southern Denmark
- Military University of Technology - Wojskowa Akademia Techniczna
- Technical University of Denmark
- University of Illinois at Urbana Champaign
- AGH University of Krakow
- Aalborg Universitet
- Adam Mickiewicz University
- Adam Mickiewicz University, Poznań
- CNRS
- Carnegie Mellon University
- Champalimaud Foundation
- Duke University
- Durham University
- Faculty of Sciences of the University of Porto
- Flow Analysis and simulation Team
- Fondazione Bruno Kessler
- Loyola University
- National Renewable Energy Laboratory NREL
- Pennsylvania State University
- Silesian University of Technology
- State University of New York University at Albany
- The Franciszek Górski Institute of Plant Physiology Polish Academy of Sciences
- The University of Chicago
- Télécom Paris
- UNIVERSITY OF MACEDONIA-RESEARCH COMMITTEE
- Umeå University
- Umeå universitet
- Universidade Autónoma de Lisboa
- University of Aveiro
- University of California Berkeley
- University of Glasgow
- University of Minnesota
- University of Nebraska Lincoln
- University of Nebraska–Lincoln
- University of Nevada Las Vegas
- University of Nevada, Reno
- University of New South Wales
- University of Oslo
- University of Silesia in Katowice
- University of Texas at Austin
- University of Texas at El Paso
- University of Toronto
- University of Warsaw
- Vrije Universiteit Amsterdam (VU)
- XIAN JIAOTONG LIVERPOOL UNIVERSITY (XJTLU)
- 39 more »
- « less
-
Field
-
Posting Title Undergraduate/Graduate (Summer) Intern - Formal Verification Methods for Cybersecurity . Location CO - Golden . Position Type Intern (Fixed Term) . Hours Per Week 40 . Working at NLR
-
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
-
, United States of America [map ] Subject Area: Formal Methods and Machine Learning for Mathematics Appl Deadline: none (posted 2025/10/03 05:00 AM UnitedKingdomTime) Position Description: Apply Position Description
-
software code • Use of software in a multiprocessor environment Method of proof: Teaching relevant courses at a tertiary institution/ Relevant publications/ Subject of a PhD Publications in journals related