Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
-
Field
-
a cluster hire across two research areas: (1) Environmental Social Science, Education and Communication/Meaning-Making and (2) Environmental Data Science and Spatial Computing. This job listing is for
-
a cluster hire across two research areas: (1) Environmental Social Science, Education and Communication/Meaning-Making and (2) Environmental Data Science and Spatial Computing. This job listing is for
-
Sign In Create Profile Postdoctoral Research Associate (Electrical and Computer Engineering) Tucson, AZ, United States | req22541 Apply Now Share Save Job Posted: 5/2/2025 Back to Search
-
related to computer-aided formal verification. The position is funded through the EPSRC-Project Games for Good grant, with Patrick Totzke, Sven Schewe and Qiyi Tang. Collaborations with other local and
-
related to computer-aided formal verification. The position is funded through the EPSRC-Project Games for Good grant, with Patrick Totzke, Sven Schewe and Qiyi Tang. Collaborations with other local and
-
, place of work, and email address) as well as the name of the position you have applied for to: HR.Nattech@au.dk Formalities and salary range Technical Sciences refers to the Ministerial Order on
-
(name, job title, place of work, and email address) as well as the name of the position you have applied for to: HR.Nattech@au.dk Formalities and salary range Technical Sciences refers to the Ministerial
-
. Qualifications requirements The applicant is required to have a PhD degree in Computer Science, Software Engineering, or related fields. The applicant must have completed the degree no more than three years before
-
Qualifications PhD in Computer Science, Software Engineering, FinTech Strong programming skills in Solidity and other smart contract languages Experience with blockchain platforms and development tools Proven
-
. You have significant experience in architecture and/or in the use of formal methods. You also have a first experience in the design and verification/validation of real-time applications on multicore