Sort by
Refine Your Search
-
Employer
-
Field
-
, program synthesis, semantic parsing, tool-augmented/agentic workflows) 2. Symbolic methods (logic/constraints, SAT/SMT, theorem proving, planning) * Strong software engineering skills (typically Python
-
in its faculties. The ARTORG Center for Biomedical Engineering Research is the University of Bern's transdisciplinary Center of Excellence for medical technology research. Its mission is to tackle
Enter an email to receive alerts for software-engineering "https:" positions