Samuel Bucheli Email & Phone Number
@zuehlke.com
LinkedIn matched
Who is Samuel Bucheli? Overview
A concise factual answer block for searchers comparing this professional profile.
Samuel Bucheli is listed as Lead Architect at Zühlke Group at Zühlke Group, a company with 1124 employees, based in Greater Bern Area, Switzerland, Switzerland. AeroLeads shows a work email signal at zuehlke.com and a matched LinkedIn profile for Samuel Bucheli.
Samuel Bucheli previously worked as Lead Architect at Zühlke Group and Software Engineer at Zühlke Group. Samuel Bucheli holds Doctor Of Philosophy (Phd), Computer Science from Universität Bern.
Email format at Zühlke Group
This section adds company-level context without repeating Samuel Bucheli's masked contact details.
AeroLeads found 1 current-domain work email signal for Samuel Bucheli. Compare company email patterns before reaching out.
About Samuel Bucheli
Samuel Bucheli is a Lead Architect at Zühlke Group at Zühlke Group. He possess expertise in mathematics, computer science, university teaching, logic, epistemic logic and 15 more skills. He is proficient in French and English.
Listed skills include Mathematics, Computer Science, University Teaching, Logic, and 16 others.
Samuel Bucheli's current company
Company context helps verify the profile and gives searchers a useful next step.
Samuel Bucheli work experience
A career timeline built from the work history available for this profile.
Software Engineer
Research Assistant
Engineering and Physical Sciences Research Council Project EP/J012564/1: New Foundations for Engineering Verified Multi-UAV’s with Prof.~Daniel Kroening. - bridging the verification gap between high-level decision making and low-level control code for autonomous systems,- translation from AgentSpeak to C (using C++ with STL, Flex, and Bison),- model.
Non-Stipendiary Lecturer
Covering duties of tutorial fellow with tutorials in all first and second year core Computer Science subjects as well as supervision and pastoral care of all undergraduate Computer Science students.Teaching responsibilities:- functional, imperative, object-oriented, and concurrent programming in Haskell, Java, and Scala,- logic and proof, models of.
Mandatory Swiss Civil Service
Development of software tools for the historical map collection, as well as general library work including conservational measures for antique books. In particular:- creation of a tool assisting the addition of coordinates to the bibliographical metadata of maps (using HTML5, Javascript, and Google Maps API),- enabling retrieval of bibliographical metadata.
Research And Teaching Assistant
Swiss National Science Foundation Project 200021-117699: Structural Proof Theory and the Logic of Proofs with Prof.~Gerhard Jaeger.Research topics:- modal logics with epistemic applications, in particular common knowledge and public announcements,- mostly proof theory and model theory of the above mentioned logics,- development of new justification logics.
System Administration And Technical Support
Responsibilities:- acquisition and administration of hardware and software,- support and consulting with respect to IT services,- virtualization using KVM (Kernel Based Virtual Machine),- creation, administration, and hosting of various websites (using Drupal and other content management systems).
Teaching Assistant
Undergraduate and graduate classes, and seminars in Mathematics and Computer Science, including:- linear algebra, set theory, computability and complexity, and mathematical logic,- digital systems and computer architecture, including C programming, assembler programming on Altera DE2 FPGA boards,- human-computer interaction.
Mandatory Swiss Army Service
Mandatory Swiss Army Service, about 400 days of service in different locations, Switzerland.In the rank of Quartermaster Sergeant, including- being head of the administration and logistics of a military company,- in particular, responsibility for catering and finances,- before that working as an IT NCO, responsible for the training of IT soldiers in the.
Freelance Software Engineer
Development of a replacement of the existing DOS based solution for customer management and invoicing with an operating-system independent and server based solution, using:- Java EE (mostly JSP and Servlets) with Apache Tomcat,- Hibernate and MySQL.
Colleagues at Zühlke Group
Other employees you can reach at zuehlke.com. View company contacts for 1124 employees →
Lutz Weigold
Colleague at Zühlke Group
Zurich, Zurich, Switzerland, Switzerland
View →
EB
Elmaret Brewer
Colleague at Zühlke Group
West Malling, England, United Kingdom, United Kingdom
View →
KA
Kenny Ang
Colleague at Zühlke Group
Singapore, Singapore
View →
NM
Nicolas Marty
Colleague at Zühlke Group
Wohlen, Berne, Switzerland, Switzerland
View →
AK
Andreas Kramer
Colleague at Zühlke Group
Bern, Berne, Switzerland, Switzerland
View →
DL
David Luthiger
Colleague at Zühlke Group
Switzerland, Switzerland
View →
YS
Yannik Stöcklin
Colleague at Zühlke Group
Zurich, Zurich, Switzerland, Switzerland
View →
TK
Thomas Kessler
Colleague at Zühlke Group
Zurich, Zurich, Switzerland, Switzerland
View →
ND
Nuno De Brito Lopes
Colleague at Zühlke Group
Porto, Porto, Portugal, Portugal
View →
MF
Michel Furrer
Colleague at Zühlke Group
Bern, Berne, Switzerland, Switzerland
View →
Samuel Bucheli education
Doctor Of Philosophy (Phd), Computer Science
Teaching Certification, Mathematics And Computer Science
Master Of Science (Msc), Mathematics
Frequently asked questions about Samuel Bucheli
Quick answers generated from the profile data available on this page.
What company does Samuel Bucheli work for?
Samuel Bucheli works for Zühlke Group.
What is Samuel Bucheli's role at Zühlke Group?
Samuel Bucheli is listed as Lead Architect at Zühlke Group at Zühlke Group.
What is Samuel Bucheli's email address?
AeroLeads has found 1 work email signal at @zuehlke.com for Samuel Bucheli at Zühlke Group.
Where is Samuel Bucheli based?
Samuel Bucheli is based in Greater Bern Area, Switzerland, Switzerland while working with Zühlke Group.
What companies has Samuel Bucheli worked for?
Samuel Bucheli has worked for Zühlke Group, University Of Oxford, St John'S College, University Of Oxford, Municipal And University Library, Bern, and University Of Bern (Official).
Who are Samuel Bucheli's colleagues at Zühlke Group?
Samuel Bucheli's colleagues at Zühlke Group include Lutz Weigold, Elmaret Brewer, Kenny Ang, Nicolas Marty, and Andreas Kramer.
How can I contact Samuel Bucheli?
You can use AeroLeads to view verified contact signals for Samuel Bucheli at Zühlke Group, including work email, phone, and LinkedIn data when available.
What schools did Samuel Bucheli attend?
Samuel Bucheli holds Doctor Of Philosophy (Phd), Computer Science from Universität Bern.
What skills is Samuel Bucheli known for?
Samuel Bucheli is listed with skills including Mathematics, Computer Science, University Teaching, Logic, Epistemic Logic, Justification Logic, Proof Theory, and Formal Verification.
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trialCheck these profiles if this is not the Samuel Bucheli you were looking for.
View similar profiles