Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
group investigates the mathematical foundations of programming and automated reasoning about software. Our research spans programming languages and type systems, program analysis and verification, logic
-
-agent systems formal verification modal logic computational logic temporal logic dynamic epistemic logic knowledge representation and reasoning automata theory computational complexity proof theory formal
-
Support Job Type: Regular Work Shift: Shift Vary (United States of America) Sponsorship Available: No Institution Name: University of Arkansas for Medical Sciences The University of Arkansas for Medical
-
(United States of America) Sponsorship Available: No Institution Name: University of Arkansas for Medical Sciences The University of Arkansas for Medical Sciences (UAMS) has a unique combination of
-
typically a 40-hour work week and travel limited to training (e.g., conferences/courses). Enterprise Technology is dedicated to supporting the mission of the University of Texas at Austin of unlocking
-
, formal methods, convex geometry). 2. Master’s or PhD in Computer Science, Electrical Engineering, Control Systems, or a closely related field. 3. Experience in reachability analysis, formal verification
-
Programs: Tax Sheltered Annuity 403(b) and a Deferred Compensation program 457(b) Flexible spending account options for medical and childcare expenses Robust free training access through LinkedIn Learning
-
Retirement Programs: Tax Sheltered Annuity 403(b) and a Deferred Compensation program 457(b) Flexible spending account options for medical and childcare expenses Robust free training access through LinkedIn
-
The School of Computer Science is seeking a Senior Research Associate to work on the use of logic and programming languages for AI safety. The post forms part of a research project led by Dr Alex
-
8 Sep 2026 Job Information Organisation/Company INESC ID Research Field Engineering » Computer engineering Engineering » Other Researcher Profile First Stage Researcher (R1) Positions PhD Positions