Position Details:

We are looking for a Project Engineer to join our Capital Equipment Team, responsible for managing projects and supervising machine installations across the Asia Pacific region. The Project Engineer will collaborate closely with various departments to ensure smooth progress of all project-related matters.

Duties & Responsibilities:

• Plan and supervise project progress from initiation to completion.
• Manage installation, coordinate site activities with various parties, supervise installations, provide maintenance support, troubleshoot issues, conduct equipment start-ups, and ensure successful handover to customers.
• Interpret technical drawings to verify site requirements and coordinate with the factory in Shandong and customers across the Asia Pacific region.
• Adhere to Health, Safety, and Environmental (HSE) requirements for onsite work.
• Collaborate with suppliers and sales teams to drive cost reduction initiatives.
• Generate technical and inspection reports.
• Handle all technical issues related to the company's full product range.

Requirements:

• Minimum Diploma/NITEC or equivalent in Mechanical, Electrical, Electronics, or Engineering field.
• At least 5 years of experience in Project Management and Machine Installation.
• Ability to read and understand schematics, wiring diagrams, and mechanical drawings.
• Proficiency in Microsoft Office and CAD software or equivalent.
• Experience in managing multi-disciplinary teams.
• Strong oral and written communication skills, with analytical abilities.
• Proficiency in communication, reading, writing, and document translation from the factory in Shandong.
• Familiarity with various production tools.
• Capability to resolve technical problems with the factory, subcontractors, and clients.
• Excellent time management and interpersonal skills.
• Ability to work independently with minimal supervision.
• Willingness to travel or be stationed overseas during project execution periods.

Please be informed that if you are interested in applying for a position, please email your resume in either Word or PDF format to [email protected]. In your resume, kindly include the following details:

1. Current Salary:
2. Expected Salary:
3. Availability:
4. Reason for leaving your current job:

Thank you for your application. Please note that only shortlisted candidates will be contacted for further consideration.

By submitting your application or resume, you hereby acknowledge and consent to the collection, use, retention, and disclosure of your personal information by us to potential employers through our services.

EA (23S1595/R23116355)

Job Description

• Develop detailed radio frequency translation plans and architectures.

• Assess gain, noise parameters (NF, SNR), dynamic range, linearity, and power consumption to ensure robust and predictable design execution.

• Collaborate with CAD engineers to guide PCB implementation focusing on clean power supply design and interconnects to meet EMI and RF transmission requirements

. • Participate in design reviews and document progress at each development stage up to final prototype testing and characterization.

• Evaluate transceiver parameters such as Pout, IMD/IP3, EVM, and noise characteristics using spectrum analyzers and modulation analyzers; conduct wireless link-level functional evaluations for product characterization

. • Work with product engineers on certification procedures, New Product Introduction (NPI), and Transfer of Technology (ToT) for large-scale production.

Job Requirements

• Bachelor’s, Master’s, or PhD in Electronics Communication Engineering or Digital Communication Engineering.

• Minimum 8 years of experience as an RF system hardware engineer, demonstrating a track record of meeting industry delivery standards in relevant domains.

• Strong interpersonal and creative skills, capable of multitasking in a dynamic and demanding environment.

Please be informed that if you are interested in applying for a position, please email your resume in either Word or PDF format to [email protected]. In your resume, kindly include the following details:

1. Current Salary:
2. Expected Salary:
3. Availability:
4. Reason for leaving your current job:

Thank you for your application. Please note that only shortlisted candidates will be contacted for further consideration.

By submitting your application or resume, you hereby acknowledge and consent to the collection, use, retention, and disclosure of your personal information by us to potential employers through our services.

EA (23S1595/R23116355)

Job Description:

• Collaborate with the front-end design team to finalize chip floorplan, clock architecture, and power plan.
• Lead physical design tasks from Netlist to GDSII, including P&R, formal verification, static timing analysis, physical verification, power analysis, design for reliability, and tapeout.
• Research physical design methodologies for advanced process nodes and develop an automated physical design platform.

Requirements:

• Bachelor's degree or higher in Electronic Engineering, Microelectronics, or Computer Science.
• Minimum 5 years of experience in digital backend design.
• Hands-on project experience is essential.
• Tapeout experience in advanced technologies preferred (consideration for exceptional candidates with 3+ years of experience).
• Proficiency in TCL, Perl, or Python script development and familiarity with EDA tool design is a plus.
• Strong communication skills, self-confidence, and motivation.
• Bilingual proficiency with a strong teamwork ethic.
• Salary negotiable for outstanding candidates.

Please be informed that if you are interested in applying for a position, please email your resume in either Word or PDF format to [email protected]. In your resume, kindly include the following details:

1. Current Salary:
2. Expected Salary:
3. Availability:
4. Reason for leaving your current job:

Thank you for your application. Please note that only shortlisted candidates will be contacted for further consideration.

By submitting your application or resume, you hereby acknowledge and consent to the collection, use, retention, and disclosure of your personal information by us to potential employers through our services.

EA (23S1595/R23116355)

Job Title: Senior IT QA Specialist

Job Description:

We are seeking an experienced and detail-oriented Senior IT QA Specialist to join our dynamic team. The ideal candidate will have a strong background in quality assurance processes and a proven track record of leading QA initiatives. You will play a crucial role in ensuring the quality and reliability of our software products, collaborating closely with the development team, and contributing to the overall success of our projects.

Responsibilities:

• Ticket Management: Create and manage ClickUp/Jira tickets with clear, concise, and comprehensive descriptions.
• Documentation: Develop and maintain documentation in ClickUp/Confluence.
• Test Case Development: Fluently create, execute, and maintain test cases to ensure thorough testing of software applications.
• Requirement Management: Collaborate with the development team to gather, define, and manage requirements, ensuring alignment with business goals and project timelines.
• Software Installation and Maintenance: Assist the team in installing, configuring, and maintaining software applications and tools.
• IT Helpdesk Support (Plus): Provide IT helpdesk support as needed, addressing technical issues and assisting users.
• Creative Content Creation: Create engaging short introduction video clips for marketing purposes to be posted on social media networks.
• Product Improvement Ideas: Contribute innovative ideas to enhance the product, improving functionality and user experience.
• Automation Testing (Plus): Write and maintain automation test scripts to streamline testing processes.
• Error Analysis: Use tools like inspect element or Postman to determine whether errors originate from the frontend or backend.
• AI Training Using Python (Plus): Train AI models using Python for marketing and customer service to enhance our strategies and customer engagement.
• Blockchain Knowledge (Plus): Familiarity with blockchain technology.

Qualifications:

• Experience: At least 8 years of proven experience in a QA role, with at least 2 years in a senior or lead position.
• Education: At least a Bachelor's degree in Computer Science, Information Technology, or a related field.
• Proficiency in creating and managing ClickUp/Jira tickets.
• Strong ability to write and execute detailed test cases.
• Experience in collaborating with development teams and managing requirements.
• Basic knowledge of software installation and maintenance.
• Ability to provide IT helpdesk support is a plus.
• Creative skills for producing marketing content, particularly video clips.
• Innovative mindset with a passion for contributing ideas to improve products.
• Knowledge of writing automation test scripts is a plus.
• Proficiency with tools like inspect element and Postman for error identification and debugging.
• ClickUp/Confluence: Proficiency in using ClickUp and Confluence for documentation and project management.
• AI Training Using Python: Proven experience in training AI models using Python.
• Blockchain Knowledge (Plus): Familiarity with blockchain technology.

Skills:

• Excellent communication and collaboration skills.
• Strong analytical and problem-solving abilities.
• Detail-oriented with a focus on quality.
• Ability to multitask and manage multiple priorities effectively.
• Technical proficiency with relevant tools and software.
• Leadership skills with experience mentoring and guiding team members.

How to Apply:

If you are passionate about quality assurance and have the skills and experience we are looking for, we encourage you to apply. Please submit your resume and a cover letter detailing your qualifications and experience.

We are a cake company, specialising in elegant, wholesome cakes.

We are looking for Permanent / Full-time Service Crew for our Paragon outlet.

Position available

- Customer Service Crew

Working Hours

44 hours (5 days a week)

• 1 week 2 off days
• 2 days full shift
• 3 days 1 shift either morning or afternoon shift

Salary

Up to $3.5K, depending on experience and knowledge

Job Scope

- Attending to customers

- Processing customers' orders of cake and beverage

- Housekeeping of outlets

- Receiving and displaying of cakes

- Barista skills are an advantage

- Manning the POS system

- Maintaining daily opening and closing procedures

Desirable qualities

- Good people skills

- Familiarity with the concept of good service

- Good organisational skills

- A positive attitude

- A passionate and cheerful personality

Benefits

- Variable bonus based on staff and Company performance

- Confirmed staff will be entitled to reimbursement of outpatient expenses and medical insurance

- Training will be provided

Please remember to attach your resume.

We regret that only shortlisted candidates will be notified.

We look forward to having you join our team!

We are a cake company, specialising in elegant, wholesome cakes.

We are looking for Permanent / Full-time Service Crew for our Parkway outlet.

Position available

- Customer Service Crew cum driver

Working Hours

44 hours (5 days a week)

• 1 week 2 off days
• 2 days full shift
• 3 days 1 shift either morning or afternoon shift

Salary

Up to $3.5K, depending on experience and knowledge

Job Scope

- Attending to customers

- Processing customers' orders of cake and beverage

- Housekeeping of outlets

- Receiving and displaying of cakes

- Barista skills are an advantage

- Manning the POS system

- Maintaining daily opening and closing procedures

Desirable qualities

- Good people skills

- Familiarity with the concept of good service

- Good organisational skills

- A positive attitude

- A passionate and cheerful personality

Benefits

- Variable bonus based on staff and Company performance

- Confirmed staff will be entitled to reimbursement of outpatient expenses and medical insurance

- Training will be provided

Please remember to attach your resume.

We regret that only shortlisted candidates will be notified.

We look forward to having you join our team!

Working Location: Caldecott
Contract Duration: 12 Months Contract
Working Hours: Monday – Thursday: 8.30am – 6pm, Friday: 8.30am – 5.30pm
Basic Salary: $2,390 per month

Responsibilities:

· Perform data entry for all cases.

· Track the number of cases referred to the department.

· Extract, input, and upload all relevant data from reports and supporting documents into the system.

· Ensure that records for department’s cases are accurately updated and maintained.

· Support in the collation of data for reporting and analysis purposes.

· Coordinate meetings, including scheduling, preparing agendas, and documenting minutes.

· Manage file organization and maintenance for department’s cases and related documents.

· Provide administrative and corporate support as needed.

· Planning of staff welfare activities etc.

Job Requirements:

· Diploma in Psychology / Social Work / Social Sciences or other relevant disciplines.

· Immediate Starters are preferred (Not serving any notice period)

· Entry Level applicants with interest in the Social Service sector are welcomed to apply.

Interested candidates, please forward a copy of your resume to: [email protected].

We regret to inform that only shortlisted candidates will be notified.

Justin Lee
Registration No: R22107715
APBA TG Human Resource Pte Ltd
EA License: 14C7275

Are you looking to have an impact on the future of air traffic management in the fast-growing Asia-Pacific region? If so, a position at the Leidos Air Traffic Management (ATM) Research and Collaboration Centre in Singapore will allow you to research, develop, and implement cutting-edge technology that will change the world and nature of air traffic management.

Leidos is a world leader in developing air traffic management solutions and has proven itself in the United States by implementing large contracts to supply the Federal Aviation Administration with a robust Air Traffic Management System (En Route Air Modernization) and a tactical flow management system (Time-Based Flow Management). Leidos’ international offering combines the best of both in the form of the SkyLine-X™ ATM system.
Leidos is seeking a Senior System Engineer who will be part of a team taking the next step to expand our footprint in the Asia Pacific region. Establishing the Leidos Air Traffic Management (ATM) Research and Collaboration Centre in Singapore enables Leidos to collaborate with regional research institutes and partners to explore and develop new concepts to optimize air traffic management and enhance safety.

Joining us will allow you to:
• Expand your knowledge of existing and upcoming, cutting-edge Leidos technologies being developed for countries around the world including the US and Singapore to solve the most complex Air Traffic Management problems.
• Be at the forefront of next generation ICAO initiatives and programs that will revolutionize air traffic management.
• Challenge yourself to solve problems that are influenced by political, technological, social, economic and environmental concerns.
• Work with a team of driven and forward-thinking individuals in Singapore and the United States

To excel in this position, Leidos is searching for an applicant that possesses knowledge in the following:
• Air Traffic Management principles including expertise in:
o conflict detection and avoidance, Reduced Vertical Separation Minima (RVSM), Trajectory Prediction
o Air Traffic Flow Management principles including surface, arrival and departure management, flow and sequence management; knowledge regarding Asia Pacific strategies is preferred.
o Working knowledge of future ICAO initiatives such as Flight and Flow Information for a Collaborative Environment (FF-ICE), Free Route Airspace (FRA), System Wide Information Management (SWIM)
o ICAO Aviation System Block Upgrades (ASBU)

In addition, the following skills will be invaluable:
• A self-starter problem solver – creating new and innovative approaches to solving complex problems our customers face in the air traffic domain.
• Effective communicator – you will be communicating with customers and colleagues, Expressing thoughts, ideas, and direction in a clear, concise manner is crucial for this role

• Project management – you will be leading projects of various sizes and complexity. Completing them on time and within budget is a steppingstone to success in a competitive landscape.
• Leadership qualities – you will be leading a team of other system and software engineers. Providing clear and effective direction will be key to success.

Qualifications:
• Requires Bachelors of Science degree and a minimum of 12+ years of prior relevant experience or Masters with 10+ years of prior relevant experience.
• Singapore citizenship
• Air Traffic Management domain experience desired

Are you looking to have an impact on the future of air traffic management in the fast-growing Asia-Pacific region? If so, a position at the Leidos Air Traffic Management (ATM) Research and Collaboration Centre in Singapore will allow you to research, develop, and implement cutting-edge technology that will change the world and nature of air traffic management.

Leidos is a world leader in developing air traffic management solutions and has proven itself in the United States by implementing large contracts to supply the Federal Aviation Administration with a robust Air Traffic Management System (En Route Air Modernization) and a tactical flow management system (Time-Based Flow Management). Leidos’ international offering combines the best of both in the form of the SkyLine-X™ ATM system.

Leidos is now taking the next step to expand its footprint in the Asia Pacific region. Establishing the Leidos Air Traffic Management (ATM) Research and Collaboration Centre in Singapore enables Leidos to collaborate with regional research institutes and partners to explore and develop new concepts to optimize air traffic management and enhance safety.

Joining us will allow you to:

· Expand your knowledge of existing and upcoming, cutting-edge Leidos technologies being developed for countries around the world including the US and Singapore to solve the most complex Air Traffic Management problems,

· Be at the forefront of next generation ICAO initiatives and programs that will revolutionize air traffic management

· Challenge yourself to solve problems that are influenced by political, technological, social, economical and environmental concerns

· Work with a team of driven and forward thinking individuals in Singapore and the United States

To excel in this position, Leidos is searching for an applicant that possesses knowledge in the following:

Air Traffic Management / aviation related domain experience In addition, the following skills will be invaluable:

· A self-starter problem solver – creating new and innovative approaches to solving complex problems our customers face in the air traffic domain

· Effective communicator – you will be communicating with customers and colleagues, Expressing thoughts, ideas, and direction in a clear, concise manner is crucial for this role

· Project management – you will be leading projects of various sizes and complexity. Completing them on time and within budget is a stepping stone to success in a competitive landscape

· Leadership qualities – you will be leading a team of other system and software engineers. Providing clear and effective direction will be key to success

Qualifications:

· Requires a Bachelor’s degree with a minimum of 8+ years of prior relevant experience

· Singapore citizenship

Responsibilities:

• Manage and take in accident reporting and explain claims process to customers
• Liaised with insurance company pertaining motor claims / accident reporting reporting matters
• Study vehicle damaged area and able to put up proper repair estimation to surveyor/insurance company
• Conduct vehicle checks for body and paintwork repairs
• Administration duties such as check costing, claims and purchase of spare parts
• Take in servicing/accident vehicle and provide quotation

Job Details:

• At least 1 - 2 years of relevant experience in the Automotive industry.
• No experiences, but willing to learn will be good. Training will be provided.
• Possess good customer oriented and comunication skills
• Experience in doing motor claims in authorised workshop / service centres will have an added advantage
• Candidates with no experiences but willing to learn are welcome

Interested applicants, click APPLY NOW or text +65 8157 0929 for fast response. only shortlisted applicants will be notified

Benny Teo Jie Yi

Reg No. R1876853

EA License No: 23C2072

Summary:

The Project Engineer is responsible for providing general direction towards the successful completion of a project, ensuring all disciplines follow the quality standards set by the company. The role involves identifying critical aspects of project execution and addressing them before they manifest as problems, as well as verifying and managing man-hour consumption of different disciplines during project execution.

The Role:

• Plan, schedule, conduct, and coordinate the technical aspects of projects.
• Maintain regular contact with assigned project clients to ensure smooth project implementation.
• Participate in client meetings and resolve project issues.
• Ensure projects align with strategies and objectives through various phases, including feasibility studies, FEED, detailed design, construction, commissioning, start-up, and handover.
• Ensure projects meet safety, cost, schedule, and quality standards.

The Requirements:

• Bachelor’s degree in Mechanical Engineering or other Engineering disciplines with 3-5 years of experience.
• Good knowledge of all disciplines, including Process Technical knowledge.
• Proficiency in Basic Design and P&ID.
• Knowledge of project management fundamentals, front-end engineering, and relevant project planning and scheduling tools.
• Solid track record in EPC Project Management in the Oil & Gas and Petrochemical Industry.
• Effective team player with good communication and interpersonal skills.
• Strong presentation, technical, analytical, and troubleshooting abilities.
• Self-motivated, with the ability to initiate plans and carry out assignments professionally and diligently in accordance with established company procedures.
• Proven leadership and management skills.
• Proven interpersonal and relationship-building skills.

Additional Requirement:

• Must have EPC experience in the Oil & Gas and Petrochemical Industry.

To Apply:

Please send your latest CV in word file to [email protected]

Kindly indicate your availability, current and expected remuneration package.

We regret that only shortlisted candidates will be notified.

For more job opportunities, please visit our career page: http://quinnox-solutions.com/c...

Quinnox Solutions Pte Ltd (License Number: 06C3126)

Registered EA Personnel (Reg. No.R21103082)

Working Location: Central / East / West / North
Salary: $2,390 per month
Able to commit immediately till end August 2024 (Extendable)
Office Hours

Responsibilities:

· Assist customers with their enquiries on schemes and services of the company

· NO SALES INVOLVED

· Training will be provided

Requirements:

· GCE ”O” Level and above

· Preferably with Customer Service experience in the service industry

· Proficient in English and a second language so as to converse effectively with different groups of customers

· Excellent team player who is task-orientated

· Possess Good Customer Service Skills

Interested candidates, please forward a copy of your resume to: [email protected]

We regret to inform that only shortlisted candidates will be notified.

Justin Lee
Registration No: R22107715
APBA TG Human Resource Pte Ltd
EA License: 14C7275

Working Location: Islandwide
Contract Duration: Up to 12 Months Contract
Working Hours: Monday – Thursday: 8.30am – 6pm, Friday: 8.30am – 5.30pm
Basic Salary: Up to $2,980 per month

Background:

This is a generic job posting for Entry Level applicants who are interested in a role within the Social Service sector. More details will be furnished during the screening process.

Responsibilities:

Your job duties may involve:

· Research Support: Assisting in conducting desktop scans and basic research activities to gather relevant information for operational planning and transformation initiatives.

· Data Analysis and Reporting: Collecting, analysing, and presenting data from research activities to support decision-making and identify areas for improvement.

· Admin and Logistics Support: Assisting in meeting preparations, collation of information across teams, and logistics support.

· Customer Service: Assist members of the public in applying for financial assistance schemes.

· Casework Administration: Assist Caseworker in preparation of documents for on-site visits.

· Other ad-hoc duties as assigned.

Job Requirements:

· Diploma or Bachelor’s Degree in Psychology / Social Work / Social Sciences or other relevant disciplines.

· Immediate Starters are preferred (Not serving any notice period)

· Entry Level applicants with interest in the Social Service sector are welcomed to apply.

Interested candidates, please forward a copy of your resume to: [email protected].

We regret to inform that only shortlisted candidates will be notified.

Justin Lee
Registration No: R22107715
APBA TG Human Resource Pte Ltd
EA License: 14C7275

Job Description:

• Attend to patients' enquiries and provide information.
• Provide chaperone assistance to doctors/nurses and prepare consultation documents
• Assist patient with registration, billing, collection of payment and appointment scheduling.
• Assist in administrative duties
• Any ad hoc duties as per assigned

Requirement:

• Minimum GCE O Levels

Interested applicants, kindly furnish us with your detailed resume in MS Words format and click "Apply Now" button.

** We regret to inform only shortlisted candidates will be notified. Applicants who do not possess necessary experience or qualification will still be considered on individual merits and may be contacted for other opportunities.**

JOBSTUDIO PTE LTD

EA License No: 10C4754

EA Personnel: Kam Xiu Ping

EA Personnel Reg No: R21101828

Find Your Dream Job With Us

WE ARE HIRING !! Apply now and make a difference.

Job Title: Cyber Defence Engineer

Job Requisition Number: JR29081

Job Level: Minimum 6-10 years of relevant experience (L3/L4)

Location: Singapore

Job Description

The Security engineer will support the day-to-day Security application administration, operations and development activities of the bank security suite of products with key objective to maintain, develop and enhance the detection, prevention, response and monitoring capabilities of GSOC using SIEM Security Analytics platform and solutions.

Key Responsibilities:

· Provide administration and operations end to end support to SIEM Security Analytics Platform and other security solutions related infrastructure deployed within the bank.

· Onboarding new log sources, enabling new use cases and supporting all existing use cases.

· Develop and support case management workflow, reports and dashboards.

· Manage and support the log management environment.

· Monitor SIEM internal logs to identify and resolve potential performance issues.

· Drive upgrades and migration to ensure solutions and or related platform are maintained in tip-top working conditions with proper documentation and RCA.

· Test and manage application functionalities, system and infrastructure changes, upgrades, enhancements, patches and troubleshooting.

· Work within established practices and handling guidelines to triage device outages.

· Available to respond to any requests and assist with troubleshooting activities along with proper documentation.

· Ability to understand of data generated by infrastructure and application across bank.

· Integrate data feeds into SIEM Solutions from on premise and cloud deployed devices and applications

· Automation development on existing data feed and contextual data so we get different data from various log feeds to one location.

· Manage and coordinate change & Incident process engagement with regards to current security solutions.

· Communicate effectively with a variety of internal teams and external contacts including technical and executive contacts.

Others:

· Normalization/Parsing the data/logs

· Experience with any insider threat tools

· Follow MIRTE ATT&CK framework and NIST methodology

Conduct regression testing on existing use cases and future enhancement by adding more new use cases to protect the bank from sophisticated Cyber-attacks

Requirements:

· Overall experience 8+ years of experience.

· 5+ years of relevant experience in the area for managing SIEM preferably Splunk/ArcSight

· Hands on experience in Advanced SIEM, Security Analytics solution, Linux and database (MySQL, Oracle/SQL)

· Very strong troubleshooting skills.

· Strong in providing operational support to any SIEM and other security platforms

· Strong knowledge in Syslog log management platform

· Experience in understanding end to end data flow

· Strong knowledge in understanding OS, Proxy, Network and other main-stream Infrastructure, Application, Access and Cloud logs.

· Strong Knowledge in developing custom parsers (regex) required for data ingestion for any infrastructure or application-based data feeds.

· Strong knowledge of optimizing performance and outages related to SIEM Solutions.

· Experience in normalize and data preparation to clean the data

· Experience in Data/Device Integration and provide the data back to another platform.

· Knowledge of the SOAR platform is an added advantage.

· Experience in Automation using any scripting languages like Python and Shell.

· Knowledge and hands-on experience on implementing Use Cases would be add-on.

Soft Skills

· Good written and verbal communication skills

· Process and procedure adherence.

· Strong analytical and problem-solving skills

· Effective time management and organizational skills.

Other Requirements

Willingness to perform on-call duties.

Please forward your resume in MS word format to [email protected] and [email protected]

Please refer your friends for any IT openings as we have various positions.

Please do not send PDF Format Resume . Send the following details

1. Notice period

2. Current Salary

3. Expected Salary

4. Visa Status in Singapore

5. Current Location

We are looking for a Sales Executive/Engineer to drive the sales of electronic components for our client a leading regional Electronics Components distributor. You will manage existing client relationships while expanding our customer base from multinational corporations to small and medium enterprises.

Key Responsibilities:

• Deliver compelling technical presentations on our products and services to customers.
• Collaborate with sales teams to assess customer requirements and provide effective sales support.
• Generate high-quality sales leads, follow up on initial contacts, secure and renew orders, negotiate pricing, and coordinate deliveries.
• Research and recommend products that align with customer needs.
• Gather and analyze client feedback to develop targeted sales and marketing strategies.
• Identify areas for improvement and communicate these insights, along with potential solutions, to management.
• Prepare detailed quotations and submit technical and sales reports.
• Set and achieve ambitious sales goals and quotas.
• Travel regionally for business as needed.

Requirements:

• A degree in engineering, marketing, business administration, or a related field is preferred.
• Minimum of 2-3 years of experience in sales within the electronics or semiconductor components industry, ideally with semiconductor distribution.
• Strong understanding of the local and regional electronics market, from multinational companies to SMEs.
• A personable demeanor with a patient approach to customer interactions.
• Excellent interpersonal, communication, customer service, and sales skills.
• Ability to convey technical information to non-technical audiences effectively.
• Confident negotiation and presentation skills.
• Strong work ethic with a commitment to meeting company goals.
• Demonstrated leadership and teamwork abilities.

To apply online kindly use the 'apply' function, alternatively you may send your resume to [email protected]

EA Licence No: 10C3426, EAP Reg. No: R1103531

Role: Senior Network Engineer (Design & Implementation)

Location: Singapore, Tuas

Employement Type: Perm

The Senior Network Engineer ensures the availability, performance, and stability of IT infrastructure to support strategic goals. This role involves working within a team of system administrators and engineers to provide business support.

Responsibilities

• Support existing and future enterprise systems, optimizing IT infrastructure and providing strategic input for network planning.
• Design, install, evaluate, and troubleshoot wired and wireless network infrastructure, ensuring high performance and availability.
• Adhere to IT security policies, procedures, best practices, and change management processes.
• Create and maintain comprehensive documentation and diagrams for network projects, ensuring disaster recovery readiness.
• Implement and maintain network hardware, keeping infrastructure up to date with current technologies and coordinating upgrades.

Requirements

• Over 10 years of experience in large enterprise network environments, including multi-protocol networks, problem resolution, OSI model expertise, and Arista Network hardware familiarity, along with network management and proactive monitoring.
• Proficiency with various network monitoring tools and methodologies.
• In-depth understanding of advanced networking technologies such as MPLS, virtual route forwarding, policy-based routing, ether-channel, traffic-shaping, load balancing, VPN tunnels, WAN optimization, firewalls, VLANs, STP, Spine and Leaf architecture.
• Strong knowledge of structured cabling systems, network facilities, electrical requirements, and UPS.
• This role may be required to travel internationally.

EA License Number: 11C3017

EA Personnel Number: R21100713

✅ 5 Days

✅ 9am - 6pm

✅ Taiseng

Responsibilities:

• Design, develop and maintain device drivers for Windows Operation Systems
• Perform WHQL testing and certification of drivers and device frameworks
• Design, develop and maintain user libraries and DLLs
• Participate in all phases of SDLC and prepare corresponding documentation
• Porting and maintain existing drivers to new frameworks and OS
• Resolve any defects reported by customers
• Collaborate with USB host and device firmware development teams

Requirements:

• Minimum Degree or above in Computer Science/ Engineering
• Minimum 3-5 year of experience in Device Driver Development (USB)
• Proficient in C Programming, WDM & KMDF framework and Multi-Threading & DLLs
• Participation or experienced in SQA processes

You may “Using Apply Now Button” to send in your updated resume.

For more information, please reach us at 9138 5316

*Only shortlisted candidates would be notified*

Choek Wei Qi Joel

Registration Number: R1877109

Workstone Pte Ltd

EA License Number:19C9998

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manneras possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts andpresentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematicallogic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modelingsoftware, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack",in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally andexternally.

Researchers under the Programme should possess both mastery of their academic speciality, anddemonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., oralternative qualifications in computer science, software engineering, (symbolic) artificial intelligence,computational linguistics, or formal methods. Fluency in multiple natural languages, and any experience with law, are a plus.

This specialist role requires skills in the following areas (one or two in each category is sufficient):

Open-Source Software & Open-Standard Infrastructure Engineering Internet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github Technical Writing Developer Relations and Evangelism

Programming Languages and Frameworks: Preferred: Haskell or OCaml. Python. Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML Petri Nets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Semantic Web and Ontologies: RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg or a commercial rules engine with ontology support

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams Parnas Tables Logics: Hoare

Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, and Epistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI Abductive Logic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded Semantics Good Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Drools Oracle Policy Manager Flora-2 Datalog Answer-Set Programming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Skills listed below this line are preferred but not required:

Theorem Proving and Strongly Typed Languages: CoQ Agda Idris Lean Prover F* Advanced Haskell (Template etc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs, Visual Studio Code, Atom, Sublime Text) Language Server Protocol Rule Systems and Logics

Computational Linguistics Natural Language Generation Computational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Text planning Surface realization Familiarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto Controlled English ACErules

Parsers, Compilers, and Programming Language Theory Lex/YACC alex/happy Bison CFGs EBNF BNFC

Formal Verification and Specification Languages Some familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL CTL

App Development Test-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum Pair Programming Literate Programming Unit Testing Amazon Web Services Docker Full-Stack Development

#LI-JN2

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manner as possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts and presentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development;
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed;
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack", in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

Researchers under the Programme should possess both mastery of their academic speciality, and demonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., or alternative qualifications in computer science, software engineering, (symbolic) artificial intelligence, computational linguistics, or formal methods.

Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github TechnicalWriting Developer Relations and Evangelism

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

Programming Languages and Frameworks:Preferred: Haskell or OCaml. Python.Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto ControlledEnglish ACErules

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL

Preferred qualifications:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Templateetc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs,Visual Studio Code, Atom, Sublime Text) Language Server ProtocolRule Systems and Logics

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML PetriNets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Flora-2 Datalog Answer-SetProgramming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Semantic Web and Ontologies:RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

#LI-JN2

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manneras possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts andpresentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematicallogic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack",in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

Researchers under the Programme should possess both mastery of their academic speciality, anddemonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., oralternative qualifications in computer science, software engineering, (symbolic) artificial intelligence,computational linguistics, or formal methods. Fluency in multiple natural languages, and any experience with law, are a plus.

This specialist role requires skills in the following areas (one or two in each category is sufficient):

Open-Source Software & Open-Standard Infrastructure Engineering Internet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github Technical Writing Developer Relations and Evangelism

Programming Languages and Frameworks: Preferred: Haskell or OCaml. Python. Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML Petri Nets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Semantic Web and Ontologies: RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg or a commercial rules engine with ontology support

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams Parnas Tables Logics: Hoare

Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, and Epistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI Abductive Logic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded Semantics Good Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Drools Oracle Policy Manager Flora-2 Datalog Answer-Set Programming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Skills listed below this line are preferred but not required:

Theorem Proving and Strongly Typed Languages: CoQ Agda Idris Lean Prover F* Advanced Haskell (Template etc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs, Visual Studio Code, Atom, Sublime Text) Language Server Protocol Rule Systems and Logics

Computational Linguistics Natural Language Generation Computational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Text planning Surface realization Familiarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto Controlled English ACErules

Parsers, Compilers, and Programming Language Theory Lex/YACC alex/happy Bison CFGs EBNF BNFC

Formal Verification and Specification Languages Some familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL CTL

App Development Test-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum Pair Programming Literate Programming Unit Testing Amazon Web Services Docker Full-Stack Development

#LI-JN2

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manneras possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances in computational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts and presentations
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture
• reading (and updating/commenting, relevant) existing software documentation
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done
• writing (and presenting, if so decided by the PI) academic papers and materials for publication
• documenting in a sufficiently-detailed manner so as to share what you've learned

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries
• evaluating competing software systems for suitability
• building infrastructure to enable application development
• managing yourself, and managing fellow team members
• engaging in product, project, and program management as needed
• reading books and consuming such other media forms about software development
• writing documentation such as user/developer-facing manuals, tutorials
• delivering community support to users and customers
• preparing presentations to represent the project before external audiences
• writing actual user-facing applications throughout the "full stack"

in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

Researchers under the Programme should possess both mastery of their academic speciality, anddemonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., oralternative qualifications in computer science, software engineering, (symbolic) artificial intelligence,computational linguistics, or formal methods.

Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github Technical Writing Developer Relations and Evangelism

Programming Languages and Frameworks:Preferred: Haskell or OCaml. Python.Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML Petri Nets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Semantic Web and Ontologies: RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg or a commercial rules engine with ontology support

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Drools Oracle Policy Manager Flora-2 Datalog Answer-Set Programming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Skills listed below this line are preferred but not required:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Template etc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs,Visual Studio Code, Atom, Sublime Text) Language Server ProtocolRule Systems and Logics

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto Controlled English ACErules

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL CTL

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

#LI-JN2

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manner as possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts and presentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development;
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed;
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack", in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

Researchers under the Programme should possess both mastery of their academic speciality, and demonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., or alternative qualifications in computer science, software engineering, (symbolic) artificial intelligence, computational linguistics, or formal methods.

Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github TechnicalWriting Developer Relations and Evangelism

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

Programming Languages and Frameworks:Preferred: Haskell or OCaml. Python.Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto ControlledEnglish ACErules

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL

Preferred qualifications:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Templateetc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs,Visual Studio Code, Atom, Sublime Text) Language Server ProtocolRule Systems and Logics

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML PetriNets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Flora-2 Datalog Answer-SetProgramming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Semantic Web and Ontologies:RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

#LI-JN2

The primary focus of Applications Engineer is to support the sale and deployment of Synopsys Emulation & Prototyping solution - including functional verification & validation, debugging, FPGA synthesis & partitioning, and embedded software bring-up on emulation/prototyping system. The candidate is expected to work directly with customers & Synopsys R&D to deliver technical solutions, product demonstrations, resolve technical issues and conduct product training. This will include pre-sales consultation and working with customer to validate their SoC design with Synopsys Emulation & Prototyping solution. He/She will also participate in account planning and work with the sales team to develop account strategy to grow Synopsys Emulation & Prototyping solution.

We are looking for a self-motivated and dependable individual with following technical skills:

• Strong knowledge and experience on design validation with Emulation or FPGA prototyping system from RTL design and experience in compiling/ design bring-up on a FPGA emulation/prototyping platform. SoC /architectural design with RTL coding or design verification using Xilinx/Altera FPGA.
• Knowledge on Xilinx Virtex 7/UltraScale Architecture and hands-on experience on ISE/Vivado Design Suite/Place & Route.
• Experience in Synopsys Emulation or Prototyping Solution will be an added advantage.
• Proficiency in Verilog/VHDL/SystemVerilog programming or scripting language.
• Knowledge on Simulation/VCS, Assertions(SVA) Coverage, Low Power verification with UPF is a plus.
• Good knowledge in Simulation flows, Assertion, DPI and transactors/ transaction based verification.
• Sharp debugging and problem solving skills on FPGA designs, hardware system and RTL design is desirable.
• Good understanding of SW/HW debug methodologies with prior experience in any of standard SW/HW debug tools (Identify, ChipScope, SignalTap, Logic Analyzer etc.)
• Experience in SoC bus/high speed protocols including following but not limited to AMBA, AXI, USB PCIE will be an advantage.
• Good critical thinking and problem-solving skills. Experience in project execution from start to completion.
• Pleasant personality with good interpersonal and communication skills.
• Some travel within South East Asia region up to 2 weeks per trip and occasional travel to USA are expected
• Master in CS/EE/other Engineer field with 10+ years of experiences.

Inclusion and Diversity are important to us. Synopsys considers all applicants for employment without regard to race, color, religion, national origin, gender, sexual orientation, gender identity, age, military veteran status, or disability.

We are on the lookout for a Junior to Mid-level Data Scientist - Machine Learning Engineer who will play a key role in enhancing our Machine Learning capabilities, focusing on innovative solutions for insight generation and analytics. As a burgeoning hedge fund startup with a clear vision and commitment to the Asian market. This role is not just about technical expertise but also about aligning with our forward-thinking vision and being at the forefront of shaping our AI strategy.

Data Analysis & Modeling:

○ Develop, implement, and maintain predictive models using traditional machine learning and deep learning techniques.

○ Conduct thorough data analysis to extract actionable insights and perform time series analysis.

ETL & Data Management:

○ Design and develop efficient ETL pipelines to process and manage large volumes of financial data.

○ Ensure data integrity and accuracy across various data sources.

Cloud Computing:

○ Utilize Cloud services to deploy and manage machine learning models in a scalable and reliable manner.

○ Optimize Cloud resources for performance and cost-effectiveness.

End-to-End Solution Development:

○ Engage in the complete lifecycle of model development, from data collection and preprocessing to model deployment and monitoring.

○ Collaborate with cross-functional teams to integrate machine learning solutions into existing systems.

Innovation & Creativity:

○ Explore and implement innovative techniques to solve complex financial problems.

○ Stay current with the latest advancements in machine learning and data science to continually improve and innovate.

Result-Oriented Approach:

○ Focus on delivering high-impact results.

○ Communicate findings and recommendations effectively to stakeholders.

Qualifications:

● Bachelor’s or Master’s degree in Computer Science, Data Science, Statistics, Mathematics, or a related field.

● 3-5 years of hands-on experience in data science and machine learning.

● Proficiency in Python and relevant libraries (e.g., scikit-learn, TensorFlow, PyTorch).

● Experience with AWS/GCP/Azure services (e.g., S3, EC2, Lambda, SageMaker, Vertex AI, BigQuery).

● Strong understanding of ETL processes and tools.

● Demonstrated expertise in traditional machine learning algorithms and deep learning techniques.

● Solid experience with time series processing and analysis.

● Excellent problem-solving skills and a creative mindset.

● Strong communication and collaboration skills.