Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- United States
- Portugal
- Poland
- Denmark
- United Kingdom
- Norway
- Netherlands
- Germany
- Sweden
- France
- Luxembourg
- Spain
- Australia
- Belgium
- Canada
- Italy
- Singapore
- Croatia
- Czech
- United Arab Emirates
- Austria
- Finland
- Ukraine
- Worldwide
- Switzerland
- Greece
- Japan
- Armenia
- Estonia
- Hong Kong
- Iceland
- Ireland
- Lithuania
- Morocco
- 24 more »
- « less
-
Program
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Biology
- Science
- Education
- Materials Science
- Mathematics
- Law
- Chemistry
- Business
- Psychology
- Social Sciences
- Humanities
- Arts and Literature
- Environment
- Linguistics
- Electrical Engineering
- Earth Sciences
- Sports and Recreation
- Philosophy
- Design
- 13 more »
- « less
-
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
-
://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
-
the research project “Formal Methods and Verification Tools for Next-generation Automotive System Platforms” supported by CREST, Japan Science and Technology Agency. https://www.jaist.ac.jp/project/crest_fmap/en
-
, Pennsylvania 15237, United States of America [map ] Subject Areas: Mathematics; Formal Methods; AI Appl Deadline: (posted 2026/01/15 05:00 AM UnitedKingdomTime, listed until 2026/07/16 04:59 AM UnitedKingdomTime
-
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
-
. 123/2019, of August 28; FCT Regulation for Research Studentships and Fellowships, available on https://diariodarepublica.pt/dr/detalhe/regulamento/950-2019-127238533 Workplace: The work will be
-
UiO/Anders Lien 1st March 2026 Languages English English English PhD Research Fellow in Formal Methods for Industrial Engineering Apply for this job See advertisement About the position Position as
-
-generation into medical device software development processes. You will be trained to carry out research that combines software engineering, formal methods, and safety assurance. You are not expected to have
-
contract may not be renewed. Applications must be formally submitted by email and must include identification and contact details, together with the following documents: (1) Curriculum Vitae; (2) cover
-
general supervision conferring with higher levels only in unusual situations. 8. Performs other job-related duties as required. Responsibilities will include: Pursue research on finite element methods